Introduction to Modeling and Analysis of Stochastic Systems