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