Return to Article Details Almost sure stability of discrete-time Markov jump linear systems