Augmentation of a navigation reference system with differential global positioning system pseudorange measurements | IEEE Conference Publication | IEEE Xplore