-R. Alur/T.A. Henzinger/E.D. Sontag (Eds.): Hybrid Systems III, Springer-Verlag 1996