An educational open-source tool for the design of IEC 61131-3 compliant automation software | IEEE Conference Publication | IEEE Xplore