Peter Buchholz A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains. 194-222 1998 8 ACM Trans. Model. Comput. Simul. 2 http://doi.acm.org/10.1145/280265.280274 db/journals/tomacs/tomacs8.html#Buchholz98