Automatic synthesis of control software for an industrial automation control system | IEEE Conference Publication | IEEE Xplore