Nuclear Regulatory Commission’s Review Guidelines for Software Languages
for Use in Nuclear Power Plant Safety Systems: Final Report (Nuclear Regulation
NUREG/CR-6463, Rev. 1, 1997); and ISO/IECTR 15942:2000, Guide for the Use of
the Ada Programming Language in High Integrity Systems.