Formal Methods and Stochastic Models for Performance Evaluation - Wolter, Katinka (Springer Berlin Heidelberg, 2020)