Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani: Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114: 108827 (2020)