Forward-BackwardLatentStateInferencefor HiddenContinuous-Timesemi-MarkovChains