2016. Análise dos sistemas computacionais críticos utilizados no controle de tráfego aéreo brasileiro. Revista Brasileira de Computação Aplicada. 8, 3 (nov. 2016), 66–84. DOI:https://doi.org/10.5335/rbca.v8i3.6018.