Symbolic Analysis Of Stochastic Discrete Event Systems. door Mikhail Bernadsky