Development and validation of a comprehensive synchronous machine model for a real-time environment | IEEE Conference Publication | IEEE Xplore