Invia SMS: Modelovanie porúch pomocou stochastických automatov