Zaslať SMS: Modelovanie porúch pomocou stochastických automatov