“Análise Dos Sistemas Computacionais críticos Utilizados No Controle De tráfego aéreo Brasileiro”. Revista Brasileira De Computação Aplicada, vol. 8, nº 3, novembro de 2016, p. 66-84, https://doi.org/10.5335/rbca.v8i3.6018.