Logical analysis of hybrid systems proving theorems for complex dynamics - Platzer, André (Springer, 2010)