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