"Patterns for Timed Property Specifications."

Volker Gruhn, Ralf Laue (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics