Judith Klein: Use of Ada in Lockheed Martin for air traffic management and beyond. SIGAda 2006: 1