Zaslat SMS: Analysis and optimization of stochastic systems