-T.A. Henzinger/S. Sastry (Eds.): Hybrid Systems: Computation and Control. Proceedings, Springer-Verlag 1998