"Theorem Proving for Metric Temporal Logic over the Naturals."

Ullrich Hustadt, Ana Ozaki, Clare Dixon (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics