Stable reduced model of a single machine infinite bus power system with power system stabilizer | IEEE Conference Publication | IEEE Xplore