International Conference on the Quantitative Evaluation of Systems (3rd 2006 Riverside, California)