Quantitative Evaluation of Systems - Joshi, Kaustubh; Siegle, Markus; Stoelinga, Marille (Springer Berlin Heidelberg, 2013)