@article{article2102e698,
title   = {Previewing air traffic conflict:: system modeling by hybrid automata},
author = {Oliveira, Ítalo Romani de and Cugnasca, Paulo Sérgio},
year = {2003},
journal   = {Revista de Engenharia de Computação e Sistemas Digitais,}
}