N. Klarlund, M. Mukund, and M. Sohoni, “Determinizing Asynchronous Automata”, DPB, vol. 22, no. 460, Oct. 1993.