Lane-Level Integrity Provision for Navigation and Map Matching With GNSS, Dead Reckoning, and Enhanced Maps | IEEE Journals & Magazine | IEEE Xplore