Thomas Aicher, Sebastian Rehberger, Birgit Vogel-Heuser. Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation. In IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015. pages 1048-1053, IEEE, 2015. [doi]