An Equivalent Circuit Formulation for Power System State Estimation including PMUs | IEEE Conference Publication | IEEE Xplore