Embedded Software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings - Thomas A. Henzinger, Christoph M. Kirsch ((Lecture Notes in Computer Science))