Efficient Probabilistic Parameter Synthesis for Adaptive Systems - Chen, T; Han, T; Kwiatkowska, M; Qu, H (DCS, 2013)