Model-based engineering of CPPS in the process industries | IEEE Conference Publication | IEEE Xplore