Computing Most Probable Sequences of State Transitions in Continuous-time Markov Systems.