Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems | IEEE Journals & Magazine | IEEE Xplore