Enviar aquest missatge de text: Approximate Model Checking of Stochastic Hybrid Systems