You are about to access our book library "Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings full version" .