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