Synthesis Tool for Automation Controller Supervision | IEEE Conference Publication | IEEE Xplore