Supporting integrated development of closed-loop PLC control software for production systems | IEEE Conference Publication | IEEE Xplore