Title: Second International Conference on the Quantitative Evaluation of Sys Tems: Qest 2005, Proceedings