George Romanski. Ada in the avionics industry. In John W. McCormick, Leemon C. Baird III, editors, Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005. pages 109-114, ACM, 2005. [doi]
Abstract is missing.