Logical Analysis Of Hybrid Systems door André Platzer