Distribution of traversal time relative to sequences of states in a semi-Markov process

One considers a semi-Markov process with trajectories from the space $\mathscr D$. One derives a formula for the conditional generating function of the traversal time relative to a sequence of states, similar to Levy's formula for a monotone process with independent increments.