Marques, Johnny, 		Hayashi, Sarasuaty, E 		Barros, Lillian.
" Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico" <em>Anais do Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança</em> [Online], (2 setembro 2019)