An Interval-Based Modal Logic for System Specification.

Renwei Li, Jos Carmo

Browse the full LFCS paper archive.