The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes. - Gross, Donald; Miller, Douglas R. (Operations Research, 1984)