Logical Analysis of Hybrid Systems - Platzer, André (Springer Berlin Heidelberg, 2010)