Summary: Input to
Task: Specify Timing Requirements for Implementation Level
Task: Verify and Assess Trade-off