← 1 IEOR 6711: Continuous-Time Markov Chains