“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 janeiro 15, 2026. https://ojs.upf.br/index.php/rbca/article/view/6018.