SMT-Based Verification of Hybrid Systems