Short-circuit Impedance Analysis of High Temperature Superconducting Transformers considering Flux Diverters and Superconducting Characteristics | IEEE Conference Publication | IEEE Xplore