Quantitative Evaluation of Systems - Joshi, Kaustubh; Siegle, Markus; Stoelinga, Marille; D'Argenio, Pedro R.; Siegle, Markus; Stoelinga, Mariëlle (Springer Berlin Heidelberg, 2013)