Stability Analysis of Discrete-Time Semi-Markov Jump Linear Systems | IEEE Journals & Magazine | IEEE Xplore