Algorithms and data structures for the modelling of dynamical systems by means of stochastic finite automata - Logožar, Robert (Array, 2012)