Marques, Johnny, Sarasuaty Hayashi, and Lillian Barros.
" Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico." <em>Anais do V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança,
São Paulo, 2019</em>. SBC, 2019,  
pp.1-10.