Using multi-frequency for GPS positioning and receiver autonomous integrity monitoring | IEEE Conference Publication | IEEE Xplore