A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models | Publicación