Markov chains and dependability theory - Rubino, Gerardo (Cambridge University Press, 2014)