Summary: Tasks
Task: Analyse timing model
Task: Attach timing requirements to solution
Task: Create solution
Task: Create solution
Task: Create timing model
Task: Refine and introduce requirements
Task: Specify and validate timing requirements
Task: Transform timing properties
Task: Verify solution against timing requirements