ISO/IEC TR 15942:2000 Preview
Information technology -- Programming languages -- Guide for the use of the Ada programming language in high integrity systems
This standard was last reviewed and confirmed in 2013. Therefore this version remains current.
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site