Rodríguez, E. Formal Design on GHENeSys IEC-1131 Compatible of Discrete Event Systems With PLCs. JETIA 2018, 4, 44-51.