Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings - Thomas A. Henzinger, Shankar Sastry ((Lecture Notes in Computer Science))