@inproceedings{KMTV00, author = "O. Kupferman and P. Madhusudan and P.S. Thiagarajan and M.Y. Vardi", title = "Open Systems in Reactive Environments: Control and Synthesis", booktitle = "Proc. 11th Int. Conf. on Concurrency Theory", series = "Lecture Notes in Computer Science", volume = "1877", pages= "92--107", publisher = "Springer-Verlag", year = 2000 }