'System availability assessment using stochastic models' by K. S. Trivedi, D. S. Kim and R. Ghosh. (11th April 2013)