Mendoza Morales, L., M. Capel Tuñón, and M. Pérez. “Verificación automática De Procesos De Negocio Con Un Enfoque Composicional.”. Revista Técnica De La Facultad De Ingeniería. Universidad Del Zulia, Vol. 36, no. 1, 1, https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6886.