J. Marques, S. Hayashi, and L. Barros.
"Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico", in <em>Anais do V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança</em>, São Paulo, 2019, pp. 1-10, doi: <a href="https://doi.org/10.5753/wrac.2019.14031">https://doi.org/10.5753/wrac.2019.14031</a>.