Markov Renewal Processes: Definitions and Preliminary Properties | Synapse