Computing Abstraction Hierarchies by Numerical Simulation