«Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs», JETIA, vol. 4, n.º 13, pp. 44–51, mar. 2018, doi: 10.5935/2447-0228.201845.