Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / / edited by Javier Campos, Boudewijn R. Haverkort. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-319-22264-6