STA (stochastic timed automata), the original semantic foundation of Modest [BDHK06], are SHA without complex continuous behaviour (i.e. without variables whose evolution over time is governed by differential equations or inclusions, except for clock..
Relevance: 10.687252