"Proving Real-Time Properties of Programs with Temporal Logic."

Arthur J. Bernstein, Paul K. Harter Jr. (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics