Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics - Platzer, AndrΓ© (Springer-Verlag Berlin Heidelberg, 2010)