Stav dette: Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / Heinrich Rust.