Modeling and Analysis of Stochastic Systems