Operation of the Tevatron Satellite Refrigerators for 0.75- and 2.0-Kilometer-Long Magnet Strings | IEEE Journals & Magazine | IEEE Xplore