Quantitative Evaluation of Systems - Agha, Gul;Van Houdt, Benny (Springer International Publishing, 2016)