Darvas, D., Majzik, I., Blanco Viñuela, E. “PLC Program Translation for Verification Purposes”, Periodica Polytechnica Electrical Engineering and Computer Science, 61(2), pp. 151–165, 2017. https://doi.org/10.3311/PPee.9743