Quantitative Evaluation of Systems - Marco Gribaudo, David N. Jansen, Anne Remke (Springer, 2020)