Galvão, J., & Machado, J. (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.