Towards automatic Markov reliability modeling of computer architectures C. A. Liceaga, D. P Siewiorek
