Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs. JETIA [Internet]. 2018 Mar. 30 [cited 2026 Oct. 23];4(13):44-51. Available from: https://itegam-jetia.org/journal/index.php/jetia/article/view/45