Time domain solutions for faulted power systems using detailed synchronous machine models | IEEE Conference Publication | IEEE Xplore