Combining Control and Data Abstraction in the Verification of Hybrid Systems