Rodríguez, E. (2018) “Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs”, ITEGAM-JETIA, 4(13), pp. 44-51. doi: 10.5935/2447-0228.201845.