Galvão, Joel, and José Machado. “Simulation and Formal Verification for Improving Safety of PLC Programs”. Recent Innovations in Mechatronics 3, no. 1-2. (September 14, 2016): 1–6. Accessed July 8, 2024. https://ojs.lib.unideb.hu/rIim/article/view/3848.