Manually modified the composed machine to add synchronizing events. Had
to edit the composed machine text, since the composed machine editor did
not work.