Trivedi, Kishor S. Ramesh, A.V. Smith, R.M.

Per Formability Analysis: Measures, an Algorithm, and a Case Study - 406-417 p.


Availability
Fault Tolerance
Markov Model