Model-based engineering and virtual commissioning of cyber-physical manufacturing systems — Transportation system case study | IEEE Conference Publication | IEEE Xplore