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