Supporting the engineering of cyber-physical production systems with the AutomationML analyzer | IEEE Conference Publication | IEEE Xplore