E. Rodríguez, “Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs”, JETIA, vol. 4, no. 13, pp. 44-51, Mar. 2018.