Galvão J, Machado J. Simulation and Formal Verification for Improving Safety of PLC Programs. RIiM. 2016;3(1-2.):1-6. doi:10.17667/riim.2016.1-2/9.