-P. Antsaktis et al. (Eds.): Hybrid Systems II, Springer-Verlag 1995