RTCA DO-331 Model Based Development and Verification Supplement to DO-178C and DO-278A
standard by Radio Technical Commission for Aeronautics, 12/13/2011