International Conference on the Quantitative Evaluation of Systems (2nd 2005 Turin, Italy)