Computing abstraction hierarchies by numerical simulation