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