Lane-level map-matching based on optimization | IEEE Conference Publication | IEEE Xplore