First International Conference on the Quantitative Evaluation of Systems QEST 2004 | IEEE Conference Publication | IEEE Xplore