Book

Stochastic Reachability Analysis of Hybrid Systems | Luminita Manuela  Bujorianu | Springer