Quantitative Evaluation of Systems - Campos; Haverkort, Boudewijn R. (Springer International Publishing, 2015)