Space station 20-kHz power management and distribution system | IEEE Conference Publication | IEEE Xplore