Coupling simulation and model checking to examine selected mechanical constraints of automated production systems

Birgit Vogel-Heuser, Jens Folmer, Thomas Aicher, Jakob Mund, Sebastian Rehberger. Coupling simulation and model checking to examine selected mechanical constraints of automated production systems. In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015. pages 37-42, IEEE, 2015. [doi]