Space navigation systems and the role of clocks. The adopted solutions in the existing GPS system and in the planned Galileo system | IEEE Conference Publication | IEEE Xplore