Annabelle McIver, Andras Horvath Quantitative Evaluation of Systems - 1st ed. 2018 - Springer International Publishing 2018 - 11024 - Lecture Notes in Computer Science . ISBN: 978-3-319-99154-2 ISSN: 1611-3349