Quantitative Evaluation of Systems - David Parker, Verena Wolf (Springer, 2019)