The Modest Toolset supports the modelling and analysis of hybrid, real-time, distributed and stochastic systems.