Verification of hybrid systems