José Porfírio, E., 		Junio Cunha e Sousa, F., 		Crisostomo Velasco, G., & 		Teixeira de Carvalho, S.
(2019).
Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado.
In <em>Anais do I Workshop em Modelagem e Simulação de Sistemas Intensivos em Software</em>, (pp. 34-43). Porto Alegre: SBC.
doi:10.5753/mssis.2019.7557