Compensation of selected availability using a GPS/INS extended Kalman filter | IEEE Conference Publication | IEEE Xplore