Darvas, D. et al. 2017. PLC Program Translation for Verification Purposes. Periodica Polytechnica Electrical Engineering and Computer Science. 61, 2 (Jan. 2017), 151–165. https://doi.org/10.3311/PPee.9743.