Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes · Study