Observability, redundancy and gross error processing in state estimation using SCADA and synchronized phasor measurements | IEEE Conference Publication | IEEE Xplore