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