@inproceedings{KLVY11,
        author      =   "O. Kupferman and Y. Lustig and M.Y. Vardi and M. Yannakakis",
        title       =    "Temporal Synthesis for Bounded Systems and Environments", 
        booktitle   =   stacs11,
        pages = "615-626",
        year        =   "2011"
}