Discrete-time Markov jump linear systems - Costa, Oswaldo Luiz do Valle (Probability and its applications (Springer), 2005)