Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs. JETIA [Internet]. 30º de março de 2018 [citado 23º de outubro de 2026];4(13):44-51. Disponível em: https://itegam-jetia.org/journal/index.php/jetia/article/view/45