Current Challenges in the Verification of Hybrid Systems