J. Galvão and J. Machado, “Simulation and Formal Verification for Improving Safety of PLC Programs”, RIiM, vol. 3, no. 1-2, pp. 1–6., Sep. 2016, doi: 10.17667/riim.2016.1-2/9.