Proceedings of the ACM SIGAda annual international conference (SIGAda 2002) : the engineering of correct and reliable software for real-time and distributed systems using ada and related technologies : December 8-12, 2002, Holiday Inn Houston/NASA, Houston (at Clear Lake), Texas, USA. : Dec 2002, Houston, TX.