Відправити по sms: Approximate Model Checking of Stochastic Hybrid Systems