Papers
Certification & Object Orientation: The New Ada Answer
Safe and Secure Software - An invitation to Ada 2005
Ada 2005 Rationale
Ada 2005 for Mission-Critical Systems
Safety-Critical Design Techniques for Secure and Reliable Systems
Ada 2005 – Ready to Roll
Ada 2005 for High-Integrity Systems
The Implementation of Ada 2005 Synchronized Interfaces in the GNAT Compiler
Mission-Critical On-Board Software Using the Ada 95 Ravenscar Profile
The ESA Ravenscar Benchmark
Compile-time stack requirements analysis with GCC