"Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics" - читать интересную книгу автора (Platzer A.)