Continuous-Time Markov Chains