Theoretical analysis of high temperature superconducting induction/synchronous machine based on the nonlinear electrical equivalent circuit | IEEE Conference Publication | IEEE Xplore