Describir: Modelovanie porúch pomocou stochastických automatov