Search: Abadi, D, 2010, synchronization, yale.edu, n/a