Embedded software : first International Worskhop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings - Henzinger, T. A., 1962-; Kirsch, Christoph M. (Lecture notes in computer science ;, 2001)