Adaptive Time Stepping in Quench Simulation for Superconducting Magnets