Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings (Springer, 2001)