Dynamic Thévenin equivalent and reduced network models for PMU-based power system voltage stability analysis. (December 2018)