The space clock PHARAO: functioning and expected performances | IEEE Conference Publication | IEEE Xplore