"Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor ..."

Grigore Rosu, Saddek Bensalem (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics