Invia SMS: Analysis and optimisation of stochastic systems