Rajeev Alur Hagit Attiya Gadi Taubenfeld Time-Adaptive Algorithms for Synchronization. 539-556 1997 26 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp26.html#AlurAT97 http://dx.doi.org/10.1137/S0097539794265244