Proceedings of the ACM Sigada Annual International Conference (Sigada 2002)
The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems Using ADA and Related Technologies: December 8-12, 2002, Holiday Inn Houston/NASA, Houston (at Clear Lake), Texas, USA