Trivedi, Kishor S. Ramesh, A.V. Smith, R.M. Per Formability Analysis: Measures, an Algorithm, and a Case Study - 406-417 p. Subjects--Topical Terms: AvailabilityFault ToleranceMarkov Model