“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), p. 66–84. doi:10.5335/rbca.v8i3.6018.