A segurança de software em aplicações de controle metroviário e de tráfego aéreo - Almeida Junior, Jorge Rady de; Camargo Júnior, João Batista; Cugnasca, Paulo Sérgio (IEEE Latin America Transactions, 2008)