«Diseño Formal Sobre GHENeSys IEC-1131 Compatible De Sistemas De Eventos Dicretos Con PLCs». 2018. ITEGAM-JETIA 4 (13): 44-51. https://doi.org/10.5935/2447-0228.201845.