@book{parkerQuantitativeEvaluationOfSystems2019,
 author = {David Parker and Verena Wolf},
 isbn = {9783030302818},
 month = {9},
 pages = {355},
 publisher = {Springer Nature, Switzerland},
 title = {Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings},
 year = {2019}
}