Receiver autonomous integrity monitoring algorithm based on robust extended kalman filter | IEEE Conference Publication | IEEE Xplore