@inproceedings{HKKM02, author = "T.A. Henzinger and S.C. Krishnan and O. Kupferman and F.Y.C. Mang", title = "Synthesis of uninitialized systems", booktitle = "Proc. 29th International Colloq. on Automata, Programming, and Languages", pages = "644-656", series = "Lecture Notes in Computer Science", volume = "2380", publisher = "Springer-Verlag", year = 2002 }