この資料をSMS送信: Approximate Model Checking of Stochastic Hybrid Systems