Integrated Dissemination System of Frequency, Time and Data for Radio Astronomy | IEEE Journals & Magazine | IEEE Xplore