Dependability for Systems with a Partitioned State Space: Markov And Semi-Markov Theory And Computational Implementation | DealShopping Deutschland