Rodríguez, E. Diseño Formal Sobre GHENeSys IEC-1131 Compatible De Sistemas De Eventos Dicretos Con PLCs. ITEGAM-JETIA, Vol. 4, n.º 13, Mar. 2018, pp. 44-51, doi:10.5935/2447-0228.201845.