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>Proceedings of the 1st Workshop on Modeling and Simulation of Software-Intensive Systems</em>, (pp. 34-43). Porto Alegre: SBC.
doi:10.5753/mssis.2019.7557