A DSL for Specifying Timing Requirements