3D-mapping-aided GNSS exploiting Galileo for better accuracy in dense urban environments | IEEE Conference Publication | IEEE Xplore