Discrete -time Markov jump linear systems - Costa, Oswaldo Luiz do Valle. (Springer, 2005)