Análise dos sistemas computacionais críticos utilizados no controle de tráfego aéreo brasileiro. RBCA [Internet]. 8º de novembro de 2016 [citado 30º de novembro de 2025];8(3):66-84. Disponível em: https://ojs.upf.br/index.php/rbca/article/view/6018