Análise Dos Sistemas Computacionais críticos Utilizados No Controle De tráfego aéreo Brasileiro. RBCA 2016, 8 (3), 66-84. https://doi.org/10.5335/rbca.v8i3.6018.