"Timer formulas and decidable metric temporal logic."

Yoram Hirshfeld, Alexander Moshe Rabinovich (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics