@Inproceedings{EPTCS355.1, author = {Hartmanns, Arnd}, year = {2022}, title = {An Overview of Modest Models and Tools for Real Stochastic Timed Systems}, editor = {Dubslaff, Clemens and Luttik, Bas}, booktitle = {{\rm Proceedings Fifth Workshop on} Models for Formal Analysis of Real Systems, {\rm Munich, Germany, 2nd April 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {355}, publisher = {Open Publishing Association}, pages = {1-12}, doi = {10.4204/EPTCS.355.1}, }