Previewing air traffic conflict:: system modeling by hybrid automata - Oliveira, Ítalo Romani de; Cugnasca, Paulo Sérgio (Revista de Engenharia de Computação e Sistemas Digitais, 2003)