Dependable Software Verlässliche Software Logiciel fiable 9.5 Prof. Dr. H. Kirrmann & Dr. B. Eschermann ABB Research Center, Baden, Switzerland Industrial.
RTCA DO-178C “Software Considerations in Airborne Systems and Equipment Certification”
