Mendoza Morales, L.E. 2016. Automatic Verification of Critical Industrial Process with Automata. Revista Técnica da Faculdade de Engenharia da de Zulia. 39, 3 (Dez. 2016).