Estimation of the GPS to Galileo time offset and its validation on a mass market receiver | IEEE Conference Publication | IEEE Xplore