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>Proceedings of the 5th Workshop on Regulation, Conformity Assessment and Safety Certification</em>, (pp. 1-10). Porto Alegre: SBC.
doi:10.5753/wrac.2019.14031