From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems | IEEE Journals & Magazine | IEEE Xplore