Seol mar théacs é seo: Approximate Model Checking of Stochastic Hybrid Systems