Compositional Abstractions for Long-Run Properties of Stochastic Systems | IEEE Conference Publication | IEEE Xplore