Discrete-Time Markov Jump Linear Systems - Costa, Oswaldo Luiz Valle (Springer-Verlag London Limited, 2005)