-P Antsakls et al. (Eds.): Hybrid Systems, Springer-Verlag 1997