Robot Synchronization Case Study