Operational Semantics For Timed Systems door Heinrich Rust