José Porfírio, Emerson, 		Junio Cunha e Sousa, Fernando, 		Crisostomo Velasco, Gislainy, E 		Teixeira de Carvalho, Sérgio.
" Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado" <em>Anais do Workshop em Modelagem e Simulação de Sistemas Intensivos em Software (MSSiS)</em> [Online], (13 setembro 2019)