Model-Checking based Verification approach for advanced Industrial Automation solutions | IEEE Conference Publication | IEEE Xplore