Development of the 25 Hz power supply system | IEEE Conference Publication | IEEE Xplore