Mendoza Morales, Luis E. “Automatic Verification of Critical Industrial Process With Automata”. Rev. Téc. Fac. Ing. Univ. Zulia 39, no. 3 (December 15, 2016). Accessed December 6, 2025. https://produccioncientificaluz.org/index.php/tecnica/article/view/22030.