Model-based validation and testing of industry 4.0 plants | IEEE Conference Publication | IEEE Xplore