Quantitative Evaluation of Systems - Bertrand (Springer International Publishing, 2017)