Power system state estimator with inclusion of time-synchronized phasor measurements | IEEE Conference Publication | IEEE Xplore