This work product contains the set of synchronisation requirements that shall be imposed on the next lower abstraction level.