Mendoza Morales, Luis E. «Automatic Verification of Critical Industrial Process With Automata». Rev. Téc. Fac. Ing. Univ. Zulia 39, no. 3 (diciembre 15, 2016). Accedido noviembre 13, 2025. http://www.produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/22030.