Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings - Joshi, Kaustubh; Siegle, Markus; Stoelinga, Mariëlle; D’Argenio, Pedro R. (Springer Berlin Heidelberg : Imprint: Springer, 2013)