Embedded software third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings / - Alur, Rajeev,; Lee, Insup. (Lecture notes in computer science,)