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