Automated reasoning: a new concept in power system security analysis | IEEE Conference Publication | IEEE Xplore