This work product contains a textual refinement and interpretation of the synchronisation requirements given by the higher abstraction level.