Comments on "An Interval Logic for Real-Time System Specification" | IEEE Journals & Magazine | IEEE Xplore