@inproceedings{NFM2010:BuHaMaMuNaDo,
 author = {Ricky Butler and George Hagen and Jeffrey Maddalon and C\'esar Mu{\~{n}}oz and Anthony Narkawicz and Gilles Dowek},
 title = {How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project},
 booktitle = {Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), 
              NASA/CP-2010-216215},
 editor = {C{\'e}sar Mu{\~{n}}oz},
 organization = {NASA},
 address = {Langley Research Center, Hampton VA 23681-2199, USA},
 pages = {34--46},
 month = {April},
 year = {2010}
}