Marques, J., 		Hayashi, S., & 		Barros, L.
(2019).
Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico.
In <em>Anais do V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança</em>, (pp. 1-10). Porto Alegre: SBC.
doi:10.5753/wrac.2019.14031