@INPROCEEDINGS{CM00TPHOLs,
        title           = "Aircraft Trajectory Modeling and 
                           Alerting Algorithm Verification",
        author          = "V. Carre{\~n}o and 
                           C. Mu{\~{n}}oz",
        series = "Lecture Notes in Computer Science",
        volume = 1869,
        note = {An earlier version appears as report NASA/CR-2000-210097 
                ICASE No. 2000-16},
        pages           = "90--105",
        editor          = "J. Harrison and M. Aagaard",
        booktitle       = "Theorem Proving in Higher Order Logics:
                           13th International Conference, TPHOLs 2000",
        year            = 2000,
        publisher       = "Springer-Verlag"
}