Synchronization in Real-Time Systems