Marques, J., 		Hayashi, S., & 		Barros, L.
2019 set  2.  Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico. Anais do Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança. [Online] :