Finite-Time Annular Domain Stability and Stabilization of Stochastic Systems With Semi-Markovian Switching | IEEE Journals & Magazine | IEEE Xplore