Simulation of quench dynamics in SRF cavities under pulsed operation | IEEE Conference Publication | IEEE Xplore