Sequential Integrity Monitoring With State-Domain Consistency Detection for Integrated Navigation in Adverse Urban Areas | IEEE Journals & Magazine | IEEE Xplore