RF System for a 1 GeV Pulse Stretcher Ring | IEEE Journals & Magazine | IEEE Xplore