You are about to access our book library "[(Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 7-9, 2002. Proceedings )] [Author: Alberto Sangiovanni-Vincentelli] [Oct-2002] full version" .