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