Quantitative Evaluation of Systems - Alessandro Abate, Andrea Marin (Springer, 2021)