Discrete-time conversion for simulating semi-Markov processes · Study