Mendoza Morales, Luis E. «Automatic Verification of Critical Industrial Process With Automata». Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia 39, no. 3 (diciembre 15, 2016). Accedido mayo 13, 2024. https://www.produccioncientificaluz.org/index.php/tecnica/article/view/22030.