Return to Article Details Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs Download Download PDF