Discrete-Time Markov Jump Linear Systems (Probability and Its Applications)