An Overview of Modest Models and Tools for Real Stochastic Timed Systems - Hartmanns, Arnd (Electronic proceedings in theoretical computer science, 2022)