Rodríguez E. Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs. JETIA [Internet]. 30Mar.2018 [cited 20Apr.2025];4(13):44-1. Available from: http://br940.teste.website/~itegamjetia/journal/index.php/jetia/article/view/45