Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings (Lecture Notes in Computer Science, 2211)