1. AMC 20-115C software considerations for certification of airborne systems and equipment;European Aviation Safety Agency,2013
2. ASCAD—Adelard safety case development manual;bloomfield;Adelard,1998
3. Understanding and evaluating assurance cases;rushby;NASA Contractor Report,2015
4. The Friendly Argument Notation (FAN);holloway;ASA/TM-2020-5002931,2020
5. An Introduction to Constructing and Assessing Overarching Properties Related Arguments (OPRAs): Version 1.0;holloway;NASA White Paper,2022