Automatic Synthesis of Containerized Industrial Cyber-Physical Systems: A Case Study | IEEE Journals & Magazine | IEEE Xplore