IEC 61131-3 Compliant Control Code Generation from Discrete Event Models | IEEE Conference Publication | IEEE Xplore