Galvão, Joel, and José Machado. “Simulation and Formal Verification for Improving Safety of PLC Programs”. Recent Innovations in Mechatronics, vol. 3, no. 1-2., Sept. 2016, pp. 1-6., https://doi.org/10.17667/riim.2016.1-2/9.