You are about to access our book library "Dependability for Systems with a Partitioned State Space: Markov and Semi-Markov Theory and Computational Implementation full version" .