Summary: Input to
Task: Refine, introduce and validate synchronization requirements