Author: International Conference on the Quantitative Evaluation of Systems (4th 2007 Edinburgh, Scotland)