'System availability assessment using stochastic models' by K. S. Trivedi, D. S. Kim and R. Ghosh. (11th April 2013) - Malek, Miroslaw; Ravishanker, Nalini; Yashchin, Emmanuel