Enhancing navigation solution with Galileo HAS | IEEE Conference Publication | IEEE Xplore