Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Bertrand, Nathalie.; Bortolussi, Luca. (Theoretical Computer Science and General Issues, 2017)