Coupling simulation and model checking to examine selected mechanical constraints of automated production systems | IEEE Conference Publication | IEEE Xplore