Return to Article Details Automatic Abstraction and Refinement for Simulations with Adaptive Level of Detail Download Download PDF