Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings - Oded Maler ((Lecture Notes in Computer Science))