@misc{misc2cf447bb,
title   = {Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos},
author = {Oliveira, Ítalo Romani de and Cugnasca, Paulo Sérgio},
year = {2003},
publisher = {EPUSP}
}