TIC: A timed calculus | Publicación