Approximate timed abstractions of hybrid automata