Model Checking of BPMN Models for Reconfigurable Workflows. - Juan Carlos Polanco Aguilar; Koji Hasebe; Manuel Mazzara; Kazuhiko Kato (CoRR, 2016)