Semi Markov process