Title: Specifying Real-Time Systems with Interval Logic