High Voltage Switched-Mode Power Supply for Three-Phase AC Aircraft Systems