Emerson José Porfírio, Fernando Junio Cunha e Sousa, Gislainy Crisostomo Velasco, and Sérgio Teixeira de Carvalho. 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>, setembro 13, 2019, Salvador, Brasil. SBC, Porto Alegre, Brasil, 34-43. DOI: <a href="https://doi.org/10.5753/mssis.2019.7557">https://doi.org/10.5753/mssis.2019.7557</a>.