. Sc-205, RTCA --Radio Technical Commission for Aeronautics, RTCA DO-178C --Software Considerations in Airborne Systems and Equipment Certification, 2011.

. Sc-205, RTCA DO-330, Software Tool Qualification Considerations. RTCA --Radio Technical Commission for Aeronautics, 2011.

. Sc-205, RTCA DO-331, Model-Based Development and Verification Supplement to DO-178C and DO-278A. RTCA --Radio Technical Commission for Aeronautics, 2011.

. Sc-205, RTCA DO-332 -Object Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A. RTCA --Radio Technical Commission for Aeronautics, 2011.

. Sc-205, RTCA DO-333 -Formal Methods Supplement to DO-178C and DO-278A. RTCA --Radio Technical Commission for Aeronautics, 2011.

, Advisory Circular 20-115D, 2017.

. Sc-167, RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, 1992.

, ISO/TC 210, ISO/IEC 62304 -Medical device software -Software lifecycle processes, vol.3, 2006.

J. Marques and S. Yelisetty, An Analysis of Software Requirements Specification Characteristics In Regulated Environments, Int. J. Softw. Eng. Appl, vol.10, issue.6, pp.1-15, 2019.

, ORDER 8110.49 Chg 1 -Software Approval Guidelines, 2011.

P. Johnston and R. Harris, The Boeing 737 MAX Saga: Lessons for Software Organizations, Softw. Qual. Prof, vol.21, issue.3, pp.5-12, 2019.

, Federal Aviation Administration: Conducting Software Review Prior to Certification. FAA, FAA, 2004.

R. Fulton, Assuring certifiability of outsourced software development -A DER's perspective, AIAA/IEEE Digital Avionics Systems Conference -Proceedings, vol.2, pp.1-5, 2005.

J. A. Jiménez, J. A. Merodio, and L. F. Sanz, Checklists for compliance to DO-178C and DO-278A standards, Comput. Stand. Interfaces, vol.52, pp.41-50, 2016.

R. Sc-190 and . Do-278, Guidelines for Communications, Navigation, Surveillance, and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance. RTCA --Radio Technical Commission for Aeronautics, 2002.