References

[SEI-C]

The Software Engineering Institute. SEI CERT C Coding Standard.

[MISRA2013]

MISRA. 2015. Guidelines for the Use of the C Language in Critical Systems

[Holzmann2006]

Holzmann, G. J. 2006. The Power of 10: Rules for Developing Safety-Critical Code

[ISO2000]

ISO/IEC High Integrity Rapporteur Group. 2000. "ISO/IEC TR 15942:2000 Guide for the Use of the Ada Programming Language in High Integrity Systems." ISO/IEC TR 15942:2000, July

[AdaRM2016]

ISO/IEC. 2016. ISO/IEC JTC 1/SC 22/WG9 Ada Reference Manual - Language and Standard Libraries-ISO/IEC 8652:2012/Cor 1:2016

[AdaRM2020]

ISO/IEC. 2020. ISO/IEC JTC 1/SC 22/WG9 Ada Reference Manual - Language and Standard Libraries-ISO/IEC 8652:2020

[LiskovWing1994]

Liskov, B. and Wing, J. 1994. "A Behavioral Notion of Subtyping." ACM Transactions on Programming Languages and Systems (TOPLAS) Vol. 16, Issue 6 (November): 1811-1841.

[DO178C]

RTCA DO-178C/EUROCAE ED-12C. 2011. Software Considerations in Airborne Systems and Equipment Certification

[Meyer1997]

Meyer, B. 1997. "Object-Oriented Software Construction." Prentice Hall Professional Technical Reference (2nd Edition)

[SEI-Java]

The Software Engineering Institute. SEI CERT Oracle Coding Standard for Java

[TR24772]

ISO/IEC. 2022. ISO/IEC TR 24772-2:20 Programming Languages - Guidance to Avoiding Vulnerabilities in Programming Languages - Part 2: Ada