Improving the Efficiency of Markov Chain Analysis of Complex Distributed Systems heftetEngelsk, 2014