The CryoSat space segment: definition, design and predicted performance | IEEE Conference Publication | IEEE Xplore