Deakstadieđáhus: Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2003) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : December 7-11, 2003, Red Lion Hannalei Hotel, San Diego, California, USA / sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT & Ada Europe ; and hosted by the San Diego SIGAda Chapter.