Mendoza Morales, L., Capel Tuñón, M. and 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).