Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings - McIver, Annabelle; McIver, Annabelle; Horvath, Andras; Horvath, Andras (Springer International Publishing : Imprint: Springer, 2018)