@(PromelaLTL,
 title        = {Promela {M}anual {P}ages ({P}romela {L}{T}{L})},
 url          = {http://spinroot.com/spin/Man/ltl.html},
)
@(SyFCo,
 title        = {{S}ynthesis {F}ormat {C}onversion {T}ool},
 url          = {https://github.com/reactive-systems/syfco},
)
@misc(Amba:1999,
 author       = {{ARM Ltd.}},
 year         = {1999},
 title        = {{AMBA specification (rev. 2)}},
 url          = {http://www.arm.com},
)
@article(BloemJPPS12,
 author       = {Roderick Bloem and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Yaniv Sa'ar},
 year         = {2012},
 title        = {\textit{Synthesis of Reactive(1) Designs}},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {78},
 number       = {3},
 pages        = {911--938},
 doi          = {10.1016/j.jcss.2011.08.007},
)
@article(BL69,
 author       = {J.R. B\"uchi and L.H. Landweber},
 year         = {1969},
 title        = {Solving sequential conditions by finite-state strategies},
 journal      = {Trans. Amer. Math. Soc.},
 volume       = {138},
 pages        = {295--311},
 doi          = {10.2307/1994916},
)
@inproceedings(Church62,
 author       = {Alonzo Church},
 year         = {1962},
 title        = {Logic, arithmetic and automata},
 booktitle    = {Proceedings of the international congress of mathematicians},
 pages        = {23--35},
 doi          = {10.2307/2270398},
)
@(E2010,
 author       = {R\"udiger Ehlers},
 year         = {2010},
 title        = {\textit{Unbeast - Symbolic Bounded Synthesis}},
 url          = {https://react.cs.uni-saarland.de/tools/unbeast},
)
@inproceedings(Ehlers11a,
 author       = {R{\"{u}}diger Ehlers},
 year         = {2011},
 title        = {Experimental Aspects of Synthesis},
 booktitle    = {{iWIGP}},
 series       = {{EPTCS}},
 volume       = {50},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.50.1},
)
@article(Ehlers12,
 author       = {R{\"{u}}diger Ehlers},
 year         = {2012},
 title        = {Symbolic bounded synthesis},
 journal      = {Formal Methods in System Design},
 volume       = {40},
 number       = {2},
 pages        = {232--262},
 doi          = {10.1007/s10703-011-0137-x},
)
@inproceedings(EhlersR16,
 author       = {R{\"{u}}diger Ehlers and Vasumathi Raman},
 year         = {2016},
 title        = {Slugs: Extensible {GR(1)} Synthesis},
 booktitle    = {{CAV} {(2)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9780},
 publisher    = {Springer},
 pages        = {333--339},
 doi          = {10.1007/978-3-319-41540-6\_18},
)
@(ERF2013,
 author       = {R\"udiger Ehlers and Vasumathi Raman and Cameron Finucane},
 year         = {2013},
 title        = {\textit{slugs - SmalL bUt Complete GROne Synthesizer}},
 url          = {https://github.com/VerifiableRobotics/slugs},
)
@book(EF2006,
 author       = {Cindy Eisner and Dana Fisman},
 year         = {2006},
 title        = {A Practical Introduction to PSL},
 series       = {Series on Integrated Circuits and Systems},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-0-387-36123-9},
)
@article(fjr11,
 author       = {Emmanuel Filiot and Naiyong Jin and Jean-Fran{\c{c}}ois Raskin},
 year         = {2011},
 title        = {Antichains and compositional algorithms for {LTL} synthesis},
 journal      = {Formal Methods in System Design},
 volume       = {39},
 number       = {3},
 pages        = {261--296},
 doi          = {10.1007/s10703-011-0115-3},
)
@article(FiliotJR13,
 author       = {Emmanuel Filiot and Naiyong Jin and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2013},
 title        = {Exploiting structure in {LTL} synthesis},
 journal      = {{STTT}},
 volume       = {15},
 number       = {5-6},
 pages        = {541--561},
 doi          = {10.1007/s10009-012-0222-5},
)
@inproceedings(FinkbeinerJ12,
 author       = {Bernd Finkbeiner and Swen Jacobs},
 year         = {2012},
 title        = {Lazy Synthesis},
 booktitle    = {{VMCAI}},
 series       = {LNCS},
 volume       = {7148},
 publisher    = {Springer},
 pages        = {219--234},
 doi          = {10.1007/978-3-642-27940-9\_15},
)
@article(Finkbeiner13,
 author       = {Bernd Finkbeiner and Sven Schewe},
 year         = {2013},
 title        = {Bounded synthesis},
 journal      = {STTT},
 volume       = {15},
 number       = {5-6},
 pages        = {519--539},
 doi          = {10.1007/s10009-012-0228-z},
)
@article(SYNTCOMP-format,
 author       = {Swen Jacobs},
 year         = {2014},
 title        = {\textit{Extended {A}{I}{G}{E}{R} {F}ormat for {S}ynthesis}},
 journal      = {CoRR},
 volume       = {abs/1405.5793},
 url          = {http://arxiv.org/abs/1405.5793},
)
@inproceedings(JacobsB16,
 author       = {Swen Jacobs and Roderick Bloem},
 year         = {2016},
 title        = {The Reactive Synthesis Competition: {SYNTCOMP} 2016 and Beyond},
 booktitle    = {SYNT},
 series       = {THISVOLUME{5}},
)
@article(JacobsETAL16,
 author       = {Swen Jacobs and Roderick Bloem and Romain Brenguier and R{\"{u}}diger Ehlers and Timotheus Hell and Robert K{\"{o}}nighofer and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker},
 year         = {2016},
 title        = {The First Reactive Synthesis Competition {(SYNTCOMP} 2014)},
 journal      = {STTT},
 doi          = {10.1007/s10009-016-0416-3},
 note         = {Published online first, journal issue to appear},
)
@inproceedings(JacobsETAL16b,
 author       = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Ayrat Khalimov and Felix Klein and Robert K{\"{o}}nighofer and Jens Kreber and Alexander Legg and Nina Narodytska and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker},
 year         = {2016},
 title        = {The 3rd Reactive Synthesis Competition ({SYNTCOMP} 2016): Benchmarks, Participants \& Results},
 booktitle    = {{SYNT}},
 series       = {THISVOLUME{13}},
)
@inproceedings(JacobsETAL16a,
 author       = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Robert K{\"{o}}nighofer and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker},
 year         = {2015},
 title        = {The Second Reactive Synthesis Competition {(SYNTCOMP} 2015)},
 booktitle    = {{SYNT} 2015},
 series       = {{EPTCS}},
 volume       = {202},
 pages        = {27--57},
 doi          = {10.4204/EPTCS.202.4},
)
@article(JacobsK16,
 author       = {Swen Jacobs and Felix Klein},
 year         = {2016},
 title        = {A High-Level {LTL} Synthesis Format: {TLSF} v1.0},
 journal      = {CoRR},
 volume       = {abs/1601.05228},
 url          = {http://arxiv.org/abs/1601.05228},
)
@phdthesis(Jobstmann:2007,
 author       = {Barbara Jobstmann},
 year         = {2007},
 title        = {Applications and Optimizations for {LTL} Synthesis},
 school       = {Graz University of Technology},
)
@inproceedings(KleinP10,
 author       = {Uri Klein and Amir Pnueli},
 year         = {2010},
 title        = {Revisiting Synthesis of {GR(1)} Specifications},
 booktitle    = {{HVC} 2010. Revised Selected Papers},
 series       = {LNCS},
 volume       = {6504},
 publisher    = {Springer},
 pages        = {161--181},
 doi          = {10.1007/978-3-642-19583-9\_16},
)
@inproceedings(MorgensternS11,
 author       = {Andreas Morgenstern and Klaus Schneider},
 year         = {2011},
 title        = {A {LTL} Fragment for GR(1)-Synthesis},
 booktitle    = {iWIGP},
 series       = {{EPTCS}},
 volume       = {50},
 pages        = {33--45},
 doi          = {10.4204/EPTCS.50.3},
)
@inproceedings(PnueliR89,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the Synthesis of a Reactive Module},
 booktitle    = {POPL},
 publisher    = {{ACM} Press},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@article(Rabin69,
 author       = {Michael O. Rabin},
 year         = {1969},
 title        = {Decidability of second-order theories and automata on infinite trees},
 journal      = {Trans. Amer. Math. Soc.},
 volume       = {141},
 pages        = {1--35},
 doi          = {10.1090/S0002-9947-1969-0246760-1},
)
@(THSEBSCH,
 author       = {Sebastian Schirmer},
 year         = {2015},
 title        = {\textit{A Specification Format for Reactive Synthesis}},
 note         = {Bachelor Thesis. Saarland University, Computer Science},
)
@article(SohailS13,
 author       = {Saqib Sohail and Fabio Somenzi},
 year         = {2013},
 title        = {Safety first: a two-stage algorithm for the synthesis of reactive systems},
 journal      = {{STTT}},
 volume       = {15},
 number       = {5-6},
 pages        = {433--454},
 doi          = {10.1007/s10009-012-0224-3},
)
@inproceedings(SomenziB00,
 author       = {Fabio Somenzi and Roderick Bloem},
 year         = {2000},
 title        = {\textit{Efficient {B}{\"{u}}chi {A}utomata from {LTL} {F}ormulae}},
 booktitle    = {{CAV}},
 series       = {LNCS},
 volume       = {1855},
 publisher    = {Springer},
 pages        = {248--263},
 doi          = {10.1007/10722167\_21},
)