"Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings " - читать интересную книгу автора (Freek Wiedijk, Oded Maler, Amir Pnueli)