Summary: Input to
Task: Specify and validate synchronisation requirements
Task: Verify and validate synchronisation