E. Rodríguez, 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.