E. José Porfírio, F. Junio Cunha e Sousa, G. Crisostomo Velasco, and S. Teixeira de Carvalho.
"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>, Salvador, 2019, pp. 34-43, doi: <a href="https://doi.org/10.5753/mssis.2019.7557">https://doi.org/10.5753/mssis.2019.7557</a>.