Constant-Parameter Phase-Domain Synchronous Machine Modeling Considering Main Flux Saturation for EMTP-Type Solution | Synapse