- NASA/TM-2009-215768 A Mathematical Basis for the Safety Analysis of
- An Architectural Concept for Intrusion Tolerance in Air Traffic Networks
- February 2007 NASA/TM-2007-214539
- In Y. Lakhnech & S. Yovine (Eds.): FORMATS/FTRTFT 2004, LNCS 3253, pp. 167182, Springer-Verlag, 2004
- A Mathematical Analysis of Conflict Prevention Information
- Proceedings of the 2003 Winter Simulation Conference S. Chick, P. J. Sanchez, D. Ferrin, and D. J. Morrice, eds.
- In Theorem Proving in Higher Order Logics (TPHOLs), volume 3223 of Lecture Notes in Computer Science, pages 257270. Springer, 2004.
- NASA Technical Memorandum 109184 A Study of Workstation Computational
- UNMANNED AIRCRAFT HAZARDS AND THEIR IMPLICATIONS FOR Kelly J. Hayhurst, Jeffrey M. Maddalon, Paul S. Miner, NASA Langley Research Center, Hampton, VA
