You are about to access our book library "Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings (Lecture Notes in Computer Science Book 8657) full version" .