@inproceedings{KPV06, author = "O. Kupferman and N. Piterman and M.Y. Vardi", title = "Safraless compositional synthesis", booktitle = "Proc. 18th International Conference on Computer Aided Verification", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", year = "2006" }