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