MENDOZA MORALES, L. E. Automatic Verification of Critical Industrial Process with Automata. Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia, v. 39, n. 3, 15 dic. 2016.