2018. Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs. ITEGAM-JETIA. 4, 13 (mar. 2018), 44–51. DOI:https://doi.org/10.5935/2447-0228.201845.