John W. McCormick Ricky E. Sward Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004 SIGAda ACM 2004 1-58113-906-3 db/conf/sigada/sigada2004.html