Junges, S.;
Jansen, N.;
Katoen, J.-P.;
Topcu, U.;
Zhang, R.;
Hayhoe, M.
2018, Article in monograph or in proceedings (McIver, A. (ed.), Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pp. 207-222)