Modelling inoperability propagation mechanism in interdependent systems | IEEE Conference Publication | IEEE Xplore