NASA. https://space.stackexchange.com/questions/36538/what-makes-ada-the-language-of-choice-for-the-isss-safety-critical-systems https://space.stackexchange.co

NASA. https://space.stackexchange.com/questions/36538/what-makes-ada-the-language-of-choice-for-the-isss-safety-critical-systems https://space.stackexchange.com/questions/36538/what-makes-a... Airbus. https://www.adahome.com/Ammo/Success/aerofws.html https://www.adahome.com/Ammo/Success/aerofws.html Boeing. http://archive.adaic.com/projects/atwork/boeing.html http://archive.adaic.com/projects/atwork/boeing.html