Programming Critical Systems: The Ada 9X Solution
Ada is already one of the best languages available for writing critical systems. Enhancements being made to Ada as part of the Ada 9X project will provide software developers with the optimal language for developing safety critical systems. These Ada 9X enhancements are contained in a special annex to the language. Specifically, Ada 9X will "increase the ability to validate the code, and improve the visibility of the object code, which is the truly critical output from the software process."
[Source: Wichmann, Brian, "Programming Critical Systems: The Ada 9X Solution," The Computer Bulletin for Information System Professionals, Jan 94, pp. 15-16.]