Search: Abadi, D, synchronization, edu, n/a