Αποστολή με SMS: Stochastic Reachability Analysis of Hybrid Systems