Text this: Operational Semantics for Timed Systems