Using General Synchronous Machine Theory to Integrate PLL Controller Dynamics into a Static Power Electronic Converter Model