Alok Srivastava Leemon C. Baird III Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007 SIGAda ACM 2007 978-1-59593-876-3 db/conf/sigada/sigada2007.html