Modeling and Analysis of Multi-layer Networks with Redundancy and Cascading Failures | IEEE Conference Publication | IEEE Xplore