Quantitative Evaluation of Systems - Gribaudo (Springer International Publishing, 2020)