Superconducting inductive pulsed power supply for electromagnetic launchers: design aspects and experimental investigation of laboratory set-up | IEEE Journals & Magazine | IEEE Xplore