Performability Analysis: Measures, an Algorithm, and a Case Study. - R. M. Smith; Kishor S. Trivedi; A. V. Ramesh (IEEE Trans. Computers, 1988)