Doppler as a Quality Indicator for GNSS-Based Urban Navigation - An Evaluation with Different Receivers and Clocks | IEEE Conference Publication | IEEE Xplore