Integrity monitoring for Kalman filter-based localization. (November 2020)