Stochastic Reachability Analysis of Hybrid Systems - Bujorianu, Luminita Manuela (Springer London : Imprint: Springer, 2012)