RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification
standard by Radio Technical Commission for Aeronautics, 12/01/1992