Mendoza Morales, L., Capel Tuñón, M. y Pérez, M. 1. Verificación automática de procesos de negocio con un enfoque composicional. Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia. 36, 1 (1).