Designing robust software systems through parametric markov chain synthesis (IEEE International Conference on Software Architecture (ICSA 2017)., 2017)

(untitled) - Kwiatkowska, M; Calinescu, R; Ceska, M; Gerasimou, S; Paoletti, N