@InProceedings{BGMM03WSC,
      Author = "Ricky Butler and Alfons Geser and Jeffrey Maddalon and C{\'e}sar Mu{\~{n}}oz",
      Title  = "Formal Analysis of Air Traffic Management Systems: The case of Conflict Resolution and Recovery",
      Address = {New Orleans, LA},
      Month = {December},
      booktitle = "Proceedings of the Winter Simulation Conference WSC'03",
      note = {A long version appears as NASA/TP-2004-213015},
      pages = "906--914",
      isbn="0-7803-8132-7",
      Year ={2003}}