Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks | IEEE Conference Publication | IEEE Xplore