real-time synchronization tools