Hybrid Systems: Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings - Claire J. Tomlin, Mark R. Greenstreet ((Lecture Notes in Computer Science))