Darvas, Dániel, István Majzik, and Enrique Blanco Viñuela. 2017. “PLC Program Translation for Verification Purposes”. Periodica Polytechnica Electrical Engineering and Computer Science 61 (2):151-65. https://doi.org/10.3311/PPee.9743.