Improved GPS receiver clock modeling for kinematic orbit determination of the GRACE satellites | IEEE Conference Publication | IEEE Xplore