A distributed numerical/simulative algorithm for the analysis of large continuous time Markov chains | IEEE Conference Publication | IEEE Xplore