Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings - Ábrahám, Erika; Paolieri, Marco (Cham Springer International Publishing AG, 2022)