A synchronous machine model to analyze internal faults | IEEE Conference Publication | IEEE Xplore