Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings - Sangiovanni-Vincentelli, Alberto; Sangiovanni-Vincentelli, Alberto; Sifakis, Joseph; Sifakis, Joseph (Springer Berlin Heidelberg : Imprint: Springer, 2002)