Exponentially timed SADF: Compositional semantics, reductions, and analysis.