Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs. JETIA. 2018;4(13):44-51. doi:10.5935/2447-0228.201845