This work product captures the events and event chains that are needed to formulate the synchronization constraint in TADL.