Mendoza Morales, L., M. Capel Tuñón, and M. Pérez. “Verificación automática De Procesos De Negocio Con Un Enfoque Composicional.”. Rev. Téc. Fac. Ing. Univ. Zulia, Vol. 36, no. 1, 1, https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6886.