The development of a graphic multidimensional Markov Chain modeler to diagram large state spaces. - David Taylor-Fuller; Susan J. Lincke (SpringSim, 2009)