この資料をSMS送信: Modeling and analysis of stochastic systems