SMS dit: Analysis and optimization of stochastic systems