フロッピーディスクとWindows 95と紙が頼りの米航空管制、ついに近代化へ　システム老朽化でトラブル多発：この頃、セキュリティ界隈で - ITmedia NEWS
https://www.itmedia.co.jp/news/articles/2506/23/news027.html

2015年？に新しくした部分（※1）はAdaで書かれたらしいけど、この全面刷新（？）では言語どれ使うんだろ？＞＜(SPARK 2014？＞＜)

（※1 En Route Automation Modernization (ERAM) | Federal Aviation Administration
https://www.faa.gov/air_traffic/technology/eram ）