Interval Temporal Logics: a Journey