1. RTCA Software Considerations in Airborne systems and equipment certification DO-178C 2011. RTCA Software Considerations in Airborne systems and equipment certification DO-178C 2011.
2. RTCA DO-331 Model based Development and Verification Supplement to DO-178C and DO-278A 2011. RTCA DO-331 Model based Development and Verification Supplement to DO-178C and DO-278A 2011.
3. SAE ARP 4754 Guidelines for Development of Civil and Aircraft Systems 2010. SAE ARP 4754 Guidelines for Development of Civil and Aircraft Systems 2010.
4. SAE ARP 4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment 1996. SAE ARP 4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment 1996.
5. Feiler P. and Gluch D. Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language 2012 Addison Wesley. Feiler P. and Gluch D. Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language 2012 Addison Wesley.