Dependability For Systems With A Partitioned State Space: Markov And Semi Markov Theory And Computational Implementation 1994