Fixed-interval smoothing for Markovian switching systems | Synapse