Stochastic Discrete Event Systems by Armin Zimmermann