Duration calculus: Logical foundations | Publicación