Mendoza Morales, L., Capel Tuñón, M., & Pérez, M. (1). Verificación automática de procesos de negocio con un enfoque composicional. Revista Técnica Da Faculdade De Engenharia Da De Zulia, 36(1). Obtido de http://www.produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/6886