Proceedings. First International Conference on the Quantitative Evaluation of Systems | IEEE Conference Publication | IEEE Xplore