Lane-level map-matching with integrity on high-definition maps | IEEE Conference Publication | IEEE Xplore