Mendoza Morales, L. E. “Automatic Verification of Critical Industrial Process With Automata”. Rev. Téc. Fac. Ing. Univ. Zulia, Vol. 39, no. 3, Dec. 2016, https://produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/22030.