Rodríguez, Elio. “Formal Design on GHENeSys IEC-1131 Compatible of Discrete Event Systems With PLCs”. ITEGAM-JETIA 4, no. 13 (March 30, 2018): 44-51. Accessed July 16, 2024. https://itegam-jetia.org/journal/index.php/jetia/article/view/45.