Mendoza Morales, L.E. 2016. Automatic Verification of Critical Industrial Process with Automata. Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia. 39, 3 (dic. 2016).