Efficient Bayesian Inference for Discretely Observed Continuous Time Markov Chains | Synapse