Doppler-aided position estimation for HS-GNSS | IEEE Conference Publication | IEEE Xplore