Tas, M., Kaya, K. & Yenigun, H. (2021) Synchronizing billion-scale automata. INFORMATION SCIENCES , 574(None), 162-175.