MENDOZA MORALES, L. E. Automatic Verification of Critical Industrial Process with Automata. Rev. Téc. Fac. Ing. Univ. Zulia, v. 39, n. 3, 15 dic. 2016.