The development of a computer model of a GPS disciplined oscillator to aid error budget determination | IEEE Conference Publication | IEEE Xplore