Quench Safety Simulation and Verification of Superconducting Coils for the SC200 Superconducting Cyclotron | IEEE Journals & Magazine | IEEE Xplore