"ATV: An Abstract Timing Verifier."

David E. Wallace, Carlo H. Séquin (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics