Transient analysis of electric power systems: reformulation and theoretical basis | IEEE Journals & Magazine | IEEE Xplore