Triple redundant precision frequency reference for commercial space applications | IEEE Conference Publication | IEEE Xplore