“Diseño Formal Sobre GHENeSys IEC-1131 Compatible De Sistemas De Eventos Dicretos Con PLCs”. ITEGAM-JETIA, vol. 4, nº 13, março de 2018, p. 44-51, https://doi.org/10.5935/2447-0228.201845.