From Available Synchrophasor Data to Short-Circuit Fault Identity: Formulation and Feasibility Analysis | IEEE Journals & Magazine | IEEE Xplore