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