Model Abstraction In Dynamical Systems