Construction of approximations of stochastic control systems: A compositional approach | IEEE Conference Publication | IEEE Xplore