Darvas D, Majzik I, Blanco Viñuela E. PLC Program Translation for Verification Purposes. Period. Polytech. Elec. Eng. Comp. Sci. [Internet]. 2017 Jan. 1 [cited 2024 Apr. 20];61(2):151-65. Available from: https://pp.bme.hu/eecs/article/view/9743