You are about to access our book library "Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 7-9, 2002. Proceedings full version" .