Symbolic Analysis Of Stochastic Discrete Event Systems. by Mikhail Bernadsky