Αποστολή με SMS: Operational Semantics for Timed Systems