Mendoza Morales, L. E. «Automatic Verification of Critical Industrial Process With Automata». Rev. Téc. Fac. Ing. Univ. Zulia, Vol. 39, n.º 3, diciembre de 2016, http://www.produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/22030.