Reply to comments on "An Interval Logic for Real-Time System Specification"