"Hybrid Systems.. Computation and Control, 7 conf., HSCC 2004" - читать интересную книгу автора (Rajeev Alur, George Pappas)