-O. Maler (Ed.): Hybrid and Real-Time Systems. Proceedings 1997, Springer-Verlag 1997