Galvão, J. and Machado, J. (2016) “Simulation and Formal Verification for Improving Safety of PLC Programs”, Recent Innovations in Mechatronics, 3(1-2.), pp. 1–6. doi:10.17667/riim.2016.1-2/9.