Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs. ITEGAM-JETIA, [S. l.], v. 4, n. 13, p. 44–51, 2018. DOI: 10.5935/2447-0228.201845. Disponível em: https://itegam-jetia.org/journal/index.php/jetia/article/view/45. Acesso em: 23 oct. 2026.