Interval Constraint-Solving Strategies For Solving Dynamical Systems