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>Proceedings of the 1st Workshop on Modeling and Simulation of Software-Intensive Systems</em>, September 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>.