A radiation-hardened pulsed magnet for the Tevatron-I target station | IEEE Conference Publication | IEEE Xplore