Text this: Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) (electronic resource) the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA / sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP [and others]. [electronic resource] :