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>Proceedings of the 5th Workshop on Regulation, Conformity Assessment and Safety Certification</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>.