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