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). Obtido de https://produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/22030