Model-Based Co-Simulation Method for PLC Programming: Interaction Design and Optimization | IEEE Conference Publication | IEEE Xplore