First CERN Cold Masses for the HL-LHC Interaction Regions | IEEE Journals & Magazine | IEEE Xplore