RODRÍGUEZ, E. Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs. ITEGAM-JETIA, v. 4, n. 13, p. 44-51, 30 mar. 2018.