Oded Maler Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings HART Lecture Notes in Computer Science 1201 Springer 1997 3-540-62600-X db/conf/hybrid/hart97.html