Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings - Maler, Oded; Maler, Oded (Springer Berlin Heidelberg : Imprint: Springer, 1997)