GALVÃO, Joel; MACHADO, José. Simulation and Formal Verification for Improving Safety of PLC Programs. Recent Innovations in Mechatronics, [S. l.], v. 3, n. 1-2., p. 1–6., 2016. DOI: 10.17667/riim.2016.1-2/9. Disponível em: https://ojs.lib.unideb.hu/rIim/article/view/3848.. Acesso em: 8 jul. 2024.