Design and performance of the cooling system for the electromagnetic calorimeter of CMS | IEEE Conference Publication | IEEE Xplore