You are about to access our book library "Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture Notes in Computer Science Book 10503) full version" .