1. Licensing of Safety Critical Software for Nuclear Reactors—Common Position of seven European Nuclear Regulators and Authorized Technical Support Organizations, Revision 2010. Technical report (2010)
2. RTCA/DO-178C, Software Considerations in Airborne Systems and Equipment Certification (2011)
3. Road Vehicles—Functional Safety—Part 1: Vocabulary (2018)
4. ARINC 653P0-3 avionics application software standard interface, Part 0, Overview, in ARINC Specification 653 (2021)
5. IEC 60880:2006, Nuclear power plants—Instrumentation and control systems important to safety—Software aspects for computer-based systems performing category a functions (2006)