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 Anais do I Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, setembro 13, 2019, Salvador, Brasil. SBC, Porto Alegre, Brasil, 34-43. DOI: https://doi.org/10.5753/mssis.2019.7557.