Water-cooled switching power supply | IEEE Conference Publication | IEEE Xplore