ISO/IEC TR 15942 Information technology - Programming languages - Guide for the use of the Ada programming language in high integrity systems