Stochastic stability for Markovian jump linear systems associated with a finite number of jump times | IEEE Conference Publication | IEEE Xplore