Pošalji tekstualnu poruku: Approximate Model Checking of Stochastic Hybrid Systems