@inproceedings{MD05,
        author = "C. Mu{\~{n}}oz and G. Dowek",
        title = "Hybrid Verification of an Air Traffic Operational Concept",
        booktitle = "Proceedings of IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation",
        address = "Columbia, Maryland",
        year = "2005",
}