Spacecraft AC power system for auxiliary equipment | IEEE Conference Publication | IEEE Xplore