Stochastic Reachability Analysis of Hybrid Systems by Luminita Manuela Bujorianu