Efficient Branch-Current-Based Distribution System State Estimation Including Synchronized Measurements | IEEE Journals & Magazine | IEEE Xplore