Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Bertrand, Nathalie; Bortolussi, Luca (Springer International Publishing : Imprint: Springer, 2017)