On almost sure stability of discrete-time Markov jump linear systems | IEEE Conference Publication | IEEE Xplore