Mendoza Morales, L., Capel Tuñón, M. and Pérez, M. 1. Verificación automática de procesos de negocio con un enfoque composicional. Rev. Téc. Fac. Ing. Univ. Zulia. 36, 1 (1).