-R.L. Grossman/A. Nerode/A.P. Ravn/H. Rischel (Eds.): Hybrid Systems, Springer-Verlag 1993