Mendoza Morales, L. E. (2016). Automatic Verification of Critical Industrial Process with Automata. Revista Técnica De La Facultad De Ingeniería. Universidad Del Zulia, 39(3). Recuperado a partir de https://www.produccioncientificaluz.org/index.php/tecnica/article/view/22030