Quantitative evaluation of systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings - Agha, Gul (Springer, 2016)