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
ACM Digital Library