Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics - André Platzer (Springer)