Control and filtering for semi-Markovian jump systems - Li, Fanbiao (Springer, 2017)