Applications of synchronization coverage. - Arkady Bron; Eitan Farchi; Yonit Magid; Yarden Nir; Shmuel Ur (PPoPP, 2005)