Operational Semantics For Timed Systems by Heinrich Rust