Model verification for analysis of wind power impact to transient stability in isolated power system using combined relay protection and dynamics modelling approach | IEEE Conference Publication | IEEE Xplore