A Combination of Interval Logic and Linear Temporal Logic | Publicación