Dependability for Systems with a Partitioned State Space: Markov And Semi-Markov Theory And Computational Implementation (Lecture Notes In Statistics) (Lecture Notes in Statistics (90), Band 90)