Map-Aided Dead-Reckoning With Lane-Level Maps and Integrity Monitoring | IEEE Journals & Magazine | IEEE Xplore