Exciter model reduction and validation for large-scale power system dynamic security assessment | IEEE Conference Publication | IEEE Xplore