Mendoza Morales, L. E. (2016) «Automatic Verification of Critical Industrial Process with Automata», Revista Técnica da Faculdade de Engenharia da de Zulia, 39(3). Disponível em: https://produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/22030 (Acedido: 2Agosto2025).