Silicon Carbide Power Device Use in Spacecraft and Aircraft | VDE Conference Publication | IEEE Xplore