Quantitative Evaluation of Systems - Gribaudo; Jansen, David N.; Remke, Anne (Springer International Publishing, 2020)