Text this: Approximate Abstractions of Stochastic Hybrid Systems.