[1] DO-178C. Факторы по программному обеспечению при сертификации бортовых систем и оборудования. RTCA, 2011.
[2] DO-278A - Факторы по обеспечению целостности программного обеспечения для систем связи, навигации, наблюдения и управления воздушным движением (CNS/ATM). RTCA, 2011.
[3] DO-330. Программное обеспечение Квалификации инструмента Факторов. RTCA, 2011.
[4] DO-331. Основанное на модели Дополнение по разработке и верификации к DO-178C и DO-278A. RTCA, 2011.
[5] DO-332. Объектно-ориентированный метод и связанные с ней методы Дополнение к DO-178C и DO-278A. RTCA, 2011.
[6] DO-333. Формальные методы дополнения к DO-178C и DO-278A. RTCA, 2011.
[7] ARP4754A - Руководство по разработке гражданских самолетов и систем. SAE International, 2010.