Design of a Superconducting Self-Supplied Electromagnetic Launcher Proof of Concept Using HTS REBCO Conductor | IEEE Journals & Magazine | IEEE Xplore