[1] DO - 178C. Факторы программного обеспечения в бортовых системах и сертификации оборудования. RTCA, 2011.
[2] DO-330. Факторы проверки программного инструмента. RTCA, 2011.
[3] DO-331. Основанное на модели дополнение разработки и верификации к DO - 178C и DO - 278A. RTCA, 2011.
[4] DO-332. Объектно-ориентированный метод и связанное дополнение методов к DO - 178C и DO - 278A. RTCA, 2011.
[5] DO-333. Дополнение формальных методов к DO - 178C и DO - 278A. RTCA, 2011.
[6] AGC AC MISRA: 2007 - Инструкции для приложения MISRA-C:2004 в контексте автоматической генерации кода. MIRA, 2007
[7] MISRA C:2012 - Инструкции для применения языка C в критических системах. MIRA Limited, 2013.
[8] Поправка 1-MISRA C:2012 Дополнительные инструкции по безопасности для MISRA C:2012. MIRA Limited, 2016.
[9] CERT SEI C кодирование стандарта: правила для разработки безопасных, надежных, и защищенных систем. Университет Карнеги-Меллон, институт программной инженерии. 2016.
[10] ARP4754A - инструкции для разработки гражданских самолетов и систем. SAE International, 2010.bbi
[11] Языки программирования – C. Международный стандарт ISO/EIC 9899: 1990
[12] Языки программирования – C. Международный стандарт ISO/EIC 9899: 1999
[13] Языки программирования – C++. Международный стандарт ISO/EIC 14882: 1998
