Electric Power and Cooling Systems for PETRA | IEEE Journals & Magazine | IEEE Xplore