presented at event 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) Conference