“Análise dos sistemas computacionais críticos utilizados no controle de tráfego aéreo brasileiro”, RBCA, vol. 8, nº 3, p. 66–84, nov. 2016, doi: 10.5335/rbca.v8i3.6018.