Dependability [1] is a very important aspect of a computing or communication system. Modelling and analysis is a prominent means for system dependability evaluation [2]. The existing dependability modelling and analysis work for large systems like communication networks focus on the static issues (such as connectivity), mainly due to the increasing complexity and thus the limitations of insuffi...
