José Porfírio, Emerson, Fernando Junio Cunha e Sousa, Gislainy Crisostomo Velasco, and Sérgio Teixeira de Carvalho.
"Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado." <em>Anais do I Workshop em Modelagem e Simulação de Sistemas Intensivos em Software,
Salvador, 2019</em>. SBC, 2019,  
pp.34-43.