Use of synchronized phasor measurements for dynamic stability monitoring and model validation in ERCOT | IEEE Conference Publication | IEEE Xplore