Logical Analysis of Hybrid Systems