Logical Analysis Of Hybrid Systems by André Platzer