An Overview of Modest Models and Tools for Real Stochastic Timed Systems - Hartmanns, Arnd (arXiv.org, 2022)
Keywords: Avionics; Computer Science - Logic in Computer Science; Cyber-physical systems; Markov chains; Modelling; Randomness; Satellite constellations; Smart grid; System on chip; Verification