“Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs”, JETIA, vol. 4, no. 13, pp. 44–51, Mar. 2018, doi: 10.5935/2447-0228.201845.