Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. - Ricky W. Butler; Jeffrey Maddalon; Alfons Geser; César A. Muñoz (WSC, 2003)

A Unified Fault-Tolerance Protocol. - Paul S. Miner; Alfons Geser; Lee Pike; Jeffrey Maddalon (FORMATS/FTRTFT, 2004)

Abstractions for Fault-Tolerant Distributed System Verification. - Lee Pike; Jeffrey Maddalon; Paul S. Miner; Alfons Geser (TPHOLs, 2004)

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