Modeling and analysis of stochastic systems. ([2010])