Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings - Alur, Rajeev, 1966-; Lee, Insup (Lecture notes in computer science ;, 2003)