Summary: Input to
Task: Specify and validate timing requirements
Task: Update timing properties of Solution [To integrate]