GPS Positioning in Reduced Coverage Environments Using Batched Doppler and Pseudorange Measurements | IEEE Conference Publication | IEEE Xplore