A data assimilation system combining CryoSat-2 data and hydrodynamic river models