发送短信: Approximate Model Checking of Stochastic Hybrid Systems