Real-time semantics appears in [BGR]. Ealgebras with clocks made their debut in [GM]. We will have to address the issue of real time elsewhere.
