Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek: How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. NASA Formal Methods 2010: 34-46