Rodríguez, E. “Formal Design on GHENeSys IEC-1131 Compatible of Discrete Event Systems With PLCs”. ITEGAM-JETIA, Vol. 4, no. 13, Mar. 2018, pp. 44-51, doi:10.5935/2447-0228.201845.