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. In: WORKSHOP EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (MSSIS), 1. , 2019, Salvador. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2019 . p. 34-43. DOI: https://doi.org/10.5753/mssis.2019.7557.