@incollection(aminof_synthesis_2012,
 author       = "Benjamin Aminof and Fabio Mogavero and Aniello Murano",
 year         = "2012",
 title        = "Synthesis of Hierarchical Systems",
 editor       = "Farhad Arbab and Peter~Csaba \IeC {\"O}lveczky",
 booktitle    = "Formal Aspects of Component Software",
 series       = "Lecture Notes in Computer Science",
 volume       = "7253",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "42--60",
 doi          = "10.1007/978-3-642-35743-5_4",
)
@article(buchi_solving_1969,
 author       = "J.~Richard B\IeC {\"u}chi and Lawrence~H. Landweber",
 year         = "1969",
 title        = "Solving Sequential Conditions by Finite-State Strategies",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "138",
 pages        = "295--311",
 doi          = "10.2307/1994916",
)
@article(Bloem20073,
 author       = "Roderick Bloem and Stefan Galler and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Martin Weiglhofer",
 year         = "2007",
 title        = "Specify, Compile, Run: Hardware from PSL",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "190",
 number       = "4",
 pages        = "3 -- 16",
 doi          = "10.1016/j.entcs.2007.09.004",
)
@incollection(ehlers_symbolic_2010,
 author       = "R\IeC {\"u}diger Ehlers",
 year         = "2010",
 title        = "Symbolic Bounded Synthesis",
 editor       = "Tayssir Touili and Byron Cook and Paul Jackson",
 booktitle    = "Computer Aided Verification",
 series       = "Lecture Notes in Computer Science",
 volume       = "6174",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "365--379",
 doi          = "10.1007/978-3-642-14295-6_33",
)
@incollection(Gelderie12,
 author       = "Marcus Gelderie",
 year         = "2012",
 title        = "Strategy Machines and Their Complexity",
 editor       = "Branislav Rovan and Vladimiro Sassone and Peter Widmayer",
 booktitle    = "Mathematical Foundations of Computer Science 2012",
 series       = "Lecture Notes in Computer Science",
 volume       = "7464",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "431--442",
 doi          = "10.1007/978-3-642-32589-2_39",
)
@inproceedings(DBLP:journals/corr/abs-1102-4120,
 author       = "Marcus Gelderie and Michael Holtmann",
 year         = "2011",
 title        = "Memory Reduction via Delayed Simulation",
 editor       = "Johannes Reich and Bernd Finkbeiner",
 booktitle    = "iWIGP",
 series       = "EPTCS",
 volume       = "50",
 pages        = "46--60",
 doi          = "10.4204/EPTCS.50.4",
)
@incollection(Holtmann10,
 author       = "Michael Holtmann and Lukasz Kaiser and Wolfgang Thomas",
 year         = "2010",
 title        = "Degrees of Lookahead in Regular Infinite Games",
 editor       = "Luke Ong",
 booktitle    = "Foundations of Software Science and Computational Structures",
 series       = "Lecture Notes in Computer Science",
 volume       = "6014",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "252--266",
 doi          = "10.1007/978-3-642-12032-9_18",
)
@article(kupferman_churchs_1999,
 author       = "Orna Kupferman and Moshe~Y. Vardi",
 year         = "1999",
 title        = "Church's Problem Revisited",
 journal      = "The Bulletin of Symbolic Logic",
 volume       = "5",
 number       = "2",
 pages        = "245--263",
 doi          = "10.2307/421091",
)
@incollection(Lustig09,
 author       = "Yoad Lustig and Moshe~Y. Vardi",
 year         = "2009",
 title        = "Synthesis from Component Libraries",
 editor       = "Luca Alfaro",
 booktitle    = "Foundations of Software Science and Computational Structures",
 series       = "Lecture Notes in Computer Science",
 volume       = "5504",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "395--409",
 doi          = "10.1007/978-3-642-00596-1_28",
)
@inproceedings(madhusudan:LIPIcs:2011:3247,
 author       = "Parthasarathy Madhusudan",
 year         = "2011",
 title        = "{Synthesizing Reactive Programs}",
 editor       = "Marc Bezem",
 booktitle    = "Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL",
 series       = "Leibniz International Proceedings in Informatics (LIPIcs)",
 volume       = "12",
 publisher    = "Schloss Dagstuhl -- Leibniz-Zentrum f\IeC {\"u}r Informatik",
 address      = "Dagstuhl, Germany",
 pages        = "428--442",
 doi          = "10.4230/LIPIcs.CSL.2011.428",
)
@inproceedings(DBLP:conf/popl/PnueliR89,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1989",
 title        = "On the Synthesis of a Reactive Module",
 booktitle    = "POPL",
 pages        = "179--190",
 url          = "http://doi.acm.org/10.1145/75277.75293",
)
@book(Rabin:1972:AIO:540412,
 author       = "Michael~Oser Rabin",
 year         = "1972",
 title        = "Automata on Infinite Objects and {Church's} Problem",
 publisher    = "American Mathematical Society",
 address      = "Boston, MA, USA",
)
@phdthesis(rosner,
 author       = "Roni Rosner",
 year         = "1992",
 title        = "Modular Synthesis of Reactive Systems",
 school       = "Weizmann Institute of Science",
)
@incollection(schewe_bounded_2007,
 author       = "Sven Schewe and Bernd Finkbeiner",
 year         = "2007",
 title        = "Bounded Synthesis",
 editor       = "Kedar~S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura",
 booktitle    = "Automated Technology for Verification and Analysis",
 series       = "Lecture Notes in Computer Science",
 volume       = "4762",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "474--488",
 doi          = "10.1007/978-3-540-75596-8_33",
)
@incollection(rozenberg_languages_1997,
 author       = "Wolfgang Thomas",
 year         = "1997",
 title        = "Languages, Automata, and Logic",
 editor       = "Grzegorz Rozenberg and Arto Salomaa",
 booktitle    = "Handbook of Formal Languages",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "389--455",
 doi          = "10.1007/978-3-642-59126-6_7",
)