A unified model for the analysis of FACTS devices in damping power system oscillations. I. Single-machine infinite-bus power systems | IEEE Journals & Magazine | IEEE Xplore