Rodríguez, Elio. 2018. “Formal Design on GHENeSys IEC-1131 Compatible of Discrete Event Systems With PLCs”. ITEGAM-JETIA 4 (13), 44-51. https://doi.org/10.5935/2447-0228.201845.