Embedded software second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / - Sangiovanni-Vincentelli, Alberto.; Sifakis, J. (Lecture notes in computer science ;)