Delta-Complete Analysis for Bounded Reachability of Hybrid Systems