QEST 2007 fourth International Conference on the Quantitative Evaluation of Systems : 17-19 September, 2007, Edinburgh, Scotland, UK / (IEEE Computer Society,)