A DSL for specifying timing requirements.

Arda Goknil, Marie-Agns Peraldi-Frati

Browse the full RE paper archive.