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