Text this: Discrete-time Markov jump linear systems /