A new approach combining simulation and randomization for the analysis of large continuous time Markov chains | ACM Transactions on Modeling and Computer Simulation (TOMACS) | DeepDyve