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