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