modeling and analysis of stochastic systems pdf