Отправить по sms: Approximate Model Checking of Stochastic Hybrid Systems