«Diseño Formal Sobre GHENeSys IEC-1131 Compatible De Sistemas De Eventos Dicretos Con PLCs». ITEGAM-JETIA 4, no. 13 (marzo 30, 2018): 44–51. Accedido octubre 22, 2026. https://itegam-jetia.org/journal/index.php/jetia/article/view/45.