Galvão J, Machado J. Simulation and Formal Verification for Improving Safety of PLC Programs. RIiM [Internet]. 2016 Sep. 14 [cited 2024 Dec. 18];3(1-2.):1-6. Available from: https://ojs.lib.unideb.hu/rIim/article/view/3848