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