@techreport{CM00ICASE,
        author = "V. Carre{\~n}o and C. Mu{\~{n}}oz",
        title = "Aircraft Trajectory Modeling and 
                           Alerting Algorithm Verification",
        institution = "ICASE-NASA Langley",
        number = "ICASE Report No. 2000-16 NASA/CR-2000-210097",
        address = "ICASE Mail Stop 132C, NASA Langley Research Center,
                  Hampton VA 23681-2199, USA",
        year = "2000"
}