Differential observables for software-based GPS interferometry | IEEE Conference Publication | IEEE Xplore