Instantaneous Doppler-aided RTK positioning with single frequency receivers | IEEE Conference Publication | IEEE Xplore