Text this: Integration of Interval Temporal Logic in an Expression Evaluator.