Author: Germany) International Conference on the Quantitative Evaluation of Systems (8th 2011 Aachen