Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings - Henzinger, Thomas A.; Henzinger, Thomas A.; Kirsch, Christoph M.; Kirsch, Christoph M. (Springer Berlin Heidelberg : Imprint: Springer, 2001)