Hybrid abstractions that preserve timed languages