RODRÍGUEZ, E. Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs. ITEGAM-JETIA, v. 4, n. 13, p. 44-51, 30 mar. 2018.