Title: Improving the Efficiency of Markov Chain Analysis of Complex Distributed Systems