Peter Buchholz, William H. Sanders. Approximate Computation of Transient Results for Large Markov Chains. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. pages 126-135, IEEE Computer Society, 2004. [doi]