Production status of the LHC inner triplet magnet system | IEEE Journals & Magazine | IEEE Xplore