D. Darvas, I. Majzik, and E. Blanco Viñuela, “PLC Program Translation for Verification Purposes”, Period. Polytech. Elec. Eng. Comp. Sci., vol. 61, no. 2, pp. 151–165, Jan. 2017.