http://www.amadeus-3.com/main_files/oberon2vsCPP.php
http://www.amadeus-3.com/main_files/space.html
«That is where we learned that Canada and the UK (and probably other countries as well) strictly prohibit the use of C and C++ for developments related to any nuclear application. The only languages which were accepted were Ada and Modula-2, thanks to the fact that it had become the only programming language with full ISO standardisation (a very complex process) and certified compilers.»