Rodríguez, Elio. Diseño Formal Sobre GHENeSys IEC-1131 Compatible De Sistemas De Eventos Dicretos Con PLCs. ITEGAM-JETIA 4, no. 13 (março 30, 2018): 44-51. Acessado abril 20, 2025. http://br940.teste.website/~itegamjetia/journal/index.php/jetia/article/view/45.