Markov Chains and Dependability Theory