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