Author: Va.) International Conference on the Quantitative Evaluation of Systems (7th 2010 Williamsburg