@InProceedings{CM00DASC,
        title = "Formal Analysis of Parallel Landing Scenarios",
        author= "V{\'{\i}}ctor Carre{\~n}o and C{\'e}sar Mu{\~{n}}oz",
        booktitle = "Proceedings of the 19th Digital Avionics Systems 
                     Conference",
        address = "Philadelphia, PA",
        year = 2000}