Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings - Campos, Javier; Haverkort, Boudewijn R. (Springer International Publishing : Imprint: Springer, 2015)