"Hybrid Systems III: Verification and Control: No. 3 " - читать интересную книгу автора (Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag)