Design and Performance of a Linear Flux Pump for the Frascati Coil Cold Test Facility | IEEE Journals & Magazine | IEEE Xplore