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