“Análise Dos Sistemas Computacionais críticos Utilizados No Controle De tráfego aéreo Brasileiro”. Revista Brasileira de Computação Aplicada 8, no. 3 (novembro 8, 2016): 66–84. Acessado novembro 30, 2025. https://ojs.upf.br/index.php/rbca/article/view/6018.