Automated Synthesis of Asynchronizations. - Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin; Lahiri, Shuvendu K. (CoRR, 2022)