L. E. Mendoza Morales, «Automatic Verification of Critical Industrial Process with Automata», REV TEC FAC ING UNIV, vol. 39, n. 3, Dez. 2016.