“Formal Design on GHENeSys IEC-1131 Compatible of Discrete Event Systems With PLCs”. ITEGAM-JETIA, vol. 4, no. 13, Mar. 2018, pp. 44-51, https://doi.org/10.5935/2447-0228.201845.