Mendoza Morales, L. E. Automatic Verification of Critical Industrial Process With Automata. REV TEC FAC ING UNIV 2016, 39.