Mendoza Morales, L. E. (2016) “Automatic Verification of Critical Industrial Process with Automata”, Rev. Téc. Fac. Ing. Univ. Zulia, 39(3). Available at: https://produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/22030 (Accessed: 31October2025).