Abstraction of Dynamical Systems by Timed