RTCA DO-255 Requirements Specification for Avionics Computer Resource (ACR)
standard by Radio Technical Commission for Aeronautics, 06/20/2000