Embedded software : second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings - Sangiovanni-Vincentelli, Alberto, 1947- (Springer, 2002)