Information technology. Programming languages. Guide for the use of the Ada programming language in high integrity systems