Operational semantics for timed observations | Publicación