Efficient Integrity Monitoring for KF-based Localization | IEEE Conference Publication | IEEE Xplore