Analytical solutions to state transition probabilities in a semi-markov model | Synapse