You are about to access our book library "Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings (Lecture Notes in Computer Science Book 9259) full version" .