Transformers as equivalent circuits for switches: general proofs and D-Q transformation-based analyses | IEEE Journals & Magazine | IEEE Xplore