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, p. 44-51, doi:10.5935/2447-0228.201845.