Design and development of a 6.25 kV/1 kA PFN to supply the new PS Booster distributor magnets | IEEE Conference Publication | IEEE Xplore