Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar: Compositional construction of finite state abstractions for stochastic control systems. CDC 2017: 550-557