DARVAS, Dániel; MAJZIK, István; BLANCO VIÑUELA, Enrique. PLC Program Translation for Verification Purposes. Periodica Polytechnica Electrical Engineering and Computer Science, [S. l.], v. 61, n. 2, p. 151–165, 2017. 10.3311/PPee.9743. Disponível em: https://pp.bme.hu/eecs/article/view/9743. Acesso em: 24 apr. 2024.