Frequency domain modeling of aided GPS with application to high-speed vehicle navigation systems | IEEE Conference Publication | IEEE Xplore