"Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings " - читать интересную книгу автора (Oded Maler)