Denotational semantics for timed testing | Publicación