High power semiconductor switches in the 12 kV, 50 kA pulse generator of the SPS beam dump kicker system | IEEE Conference Publication | IEEE Xplore