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