Probabilistic robustness analysis of stochastic jump linear systems | IEEE Conference Publication | IEEE Xplore