A Discrete Event Theory Based Approach for Modeling Power System Cascading Failures | IEEE Conference Publication | IEEE Xplore