Quantitative Evaluation of Systems - Annabelle McIver, Andras Horvath (Springer International Publishing, 2018)