Using High-Definition maps for precise urban vehicle localization | IEEE Conference Publication | IEEE Xplore