Invia SMS: Modeling and analysis of stochastic systems