Rodríguez, E. (2018). Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs. ITEGAM-JETIA, 4(13), 44-51. https://doi.org/10.5935/2447-0228.201845