Análise dos sistemas computacionais críticos utilizados no controle de tráfego aéreo brasileiro. Revista Brasileira de Computação Aplicada, [S. l.], v. 8, n. 3, p. 66–84, 2016. DOI: 10.5335/rbca.v8i3.6018. Disponível em: https://ojs.upf.br/index.php/rbca/article/view/6018. Acesso em: 1 dez. 2025.