Diamanti, M.; Thue, D. Automatic Abstraction and Refinement for Simulations With Adaptive Level of Detail. AIIDE 2019, 15, 17-23.