Parameter synthesis for probabilistic timed automata using stochastic game abstractions - Jovanović, A; Kwiatkowska, M (Theoretical Computer Science, 2017)