Mendoza Morales, L.; Capel Tuñón, M.; Pérez, M. Verificación automática De Procesos De Negocio Con Un Enfoque Composicional. REV TEC FAC ING UNIV 1, 36.