Approximate timed abstractions of Hybrid Systems