José Porfírio, Emerson, 		Junio Cunha e Sousa, Fernando, 		Crisostomo Velasco, Gislainy, AND 		Teixeira de Carvalho, Sérgio.
" Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado" <em>Proceedings of the Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS)</em> [Online], (13 September 2019)