On orbit programmable frequency generation system for JCSAT 9 spacecraft | IEEE Conference Publication | IEEE Xplore