Stochastic Automata by E. -E. Doberkat