Stability Analysis of Discrete-Time Semi-Markov Jump Linear Systems. - Wang, Bao; Zhu, Quanxin (IEEE Trans. Autom. Control., 2020)