Proceedings of the 2003 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