"A Hardware Semantics Based on Temporal Intervals."

Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics