The Engineering Model of the Space Clock PHARAO | IEEE Conference Publication | IEEE Xplore