Embedded Software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings - Alberto Sangiovanni-Vincentelli, Joseph Sifakis ((Lecture Notes in Computer Science))