L. E. Mendoza Morales, “Automatic Verification of Critical Industrial Process with Automata”, REV TEC FAC ING UNIV, vol. 39, no. 3, Dec. 2016.