Uri Klein, Nir Piterman, Amir Pnueli: Effective Synthesis of Asynchronous Systems from GR(1) Specifications. VMCAI 2012: 283-298