Stochastic real-time systems : parameter synthesis and games - Řehák, Vojtěch, 1979- (2018)