Cold Mass Cooling Design Studies for an LHC Inner Triplet Upgrade | IEEE Journals & Magazine | IEEE Xplore