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