Quench Simulation in an Integrated Design Environment for Superconducting Magnets | IEEE Journals & Magazine | IEEE Xplore