Correction error generation algorithm for differential positioning performance analysis of navigation equipment | IEEE Conference Publication | IEEE Xplore