JOSÉ PORFÍRIO, Emerson; 						JUNIO CUNHA E SOUSA, Fernando; 						CRISOSTOMO VELASCO, Gislainy; 						TEIXEIRA DE CARVALHO, Sérgio.
 Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado. <em>In</em>: WORKSHOP EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (MSSIS), 1.	, 2019, Salvador.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 34-43. 
		DOI: <a href="https://doi.org/10.5753/mssis.2019.7557">https://doi.org/10.5753/mssis.2019.7557</a>.