1. StormW.WhalenM.CoferD.KroghB. “Certification Techniques for Advanced Flight Critical Systems,” Lockheed Martin Aeronautics Company Rept. FZM-9465, Fort Worth, TX, June 2008.
2. HollingsworthM.CottonG.CoferD.SchiermanJ.WagnerL.AielloA.GrohsJ. “Certification Techniques for Advanced Flight Critical Systems Challenge Problem Demonstration (CerTA FCS CPD),” Lockheed Martin Corp. Final Rept. AFRL-RB-WP-TR-2010-3039, Bethesda, MD, May 2010.
3. Lecture Notes in Computer Science;Davis J.,2019
4. SchiermanJ.SchlapkohlT. “Run Time Assurance Methods Applied to Advanced Propulsion Algorithms,” NASA Glenn Research Center CR NNC12CA12C, Final Rept. SBIR PHASE III, Cleveland, OH, April, 2014.