From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.