Gennerator internal fault modeling and analysis based on one-machine infinite-bus power system | IEEE Conference Publication | IEEE Xplore