This work product contains the set of synchronisation requirements that are imposed on the solution from the immediately higher abstraction level.