@article(journals/tocl/AlurETP01,
 author       = {Rajeev Alur and Kousha Etessami and {La Torre}, Salvatore and Doron Peled},
 year         = {2001},
 title        = {Parametric temporal logic for "model measuring"},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {2},
 number       = {3},
 pages        = {388--407},
 doi          = {10.1145/377978.377990},
)
@inproceedings(Forspec02,
 author       = {Roy Armoni and Limor Fix and Alon Flaisher and Rob Gerth and Boris Ginsburg and Tomer Kanza and Avner Landver and Mador-Haim, Sela and Eli Singerman and Andreas Tiemeyer and Moshe Y. Vardi and Yael Zbar},
 year         = {2002},
 title        = {The {ForSpec} Temporal Logic: A New Temporal Property-Specification Language},
 editor       = {Joost-Pieter Katoen and Perdita Stevens},
 booktitle    = {TACAS 2002},
 series       = {LNCS},
 volume       = {2280},
 publisher    = {Springer},
 pages        = {296--311},
 doi          = {10.1007/3-540-46002-0\_21},
)
@book(BaierKatoen08,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {The MIT Press},
)
@inproceedings(conf/fmcad/ChatterjeeHOP13,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Jan Otop and Andreas Pavlogiannis},
 year         = {2013},
 title        = {Distributed synthesis for {LTL} fragments},
 booktitle    = {{FMCAD} 2013},
 publisher    = {IEEE},
 pages        = {18--25},
 doi          = {10.1109/FMCAD.2013.6679386},
)
@book(EisnerFismanPSL,
 author       = {Cindy Eisner and Dana Fisman},
 year         = {2006},
 title        = {A Practical Introduction to PSL},
 series       = {Integrated Circuits and Systems},
 publisher    = {Springer},
 doi          = {10.1007/978-0-387-36123-9},
)
@inproceedings(journals/corr/FaymonvilleZ14,
 author       = {Peter Faymonville and Martin Zimmermann},
 year         = {2014},
 title        = {Parametric Linear Dynamic Logic},
 booktitle    = {{GandALF} 2014},
 series       = {EPTCS},
 volume       = {161},
 pages        = {60--73},
 doi          = {10.4204/EPTCS.161.8},
 note         = {Full version accepted for publication at \emph{Information and Computation}},
)
@inproceedings(conf/lics/FinkbeinerS05,
 author       = {Bernd Finkbeiner and Sven Schewe},
 year         = {2005},
 title        = {Uniform Distributed Synthesis},
 booktitle    = {{LICS} 2005},
 publisher    = {{IEEE} Computer Society},
 pages        = {321--330},
 doi          = {10.1109/LICS.2005.53},
)
@article(journals/sttt/FinkbeinerS13,
 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(journals/acta/FridmanP14,
 author       = {Wladimir Fridman and Bernd Puchala},
 year         = {2014},
 title        = {Distributed synthesis for regular and contextfree specifications},
 journal      = {Acta Inf.},
 volume       = {51},
 number       = {3-4},
 pages        = {221--260},
 doi          = {10.1007/s00236-014-0194-x},
)
@article(journals/tocl/GastinS13,
 author       = {Paul Gastin and Nathalie Sznajder},
 year         = {2013},
 title        = {Fair Synthesis for Asynchronous Distributed Systems},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {14},
 number       = {2},
 pages        = {9},
 doi          = {10.1145/2480759.2480761},
)
@article(journals/fmsd/GastinSZ09,
 author       = {Paul Gastin and Nathalie Sznajder and Marc Zeitoun},
 year         = {2009},
 title        = {Distributed synthesis for well-connected architectures},
 journal      = {Formal Methods in System Design},
 volume       = {34},
 number       = {3},
 pages        = {215--237},
 doi          = {10.1007/s10703-008-0064-7},
)
@article(journals/fmsd/KupfermanPV09,
 author       = {Orna Kupferman and Nir Piterman and Moshe Y. Vardi},
 year         = {2009},
 title        = {From liveness to promptness},
 journal      = {Formal Methods in System Design},
 volume       = {34},
 number       = {2},
 pages        = {83--103},
 doi          = {10.1007/s10703-009-0067-z},
)
@inproceedings(conf/lics/KupfermanV01,
 author       = {Orna Kupferman and Moshe Y. Vardi},
 year         = {2001},
 title        = {Synthesizing Distributed Systems},
 booktitle    = {{LICS} 2001},
 publisher    = {{IEEE} Computer Society},
 pages        = {389--398},
 doi          = {10.1109/LICS.2001.932514},
)
@inproceedings(conf/icalp/MadhusudanT01,
 author       = {Parthasarathy Madhusudan and Pazhamaneri Subramaniam Thiagarajan},
 year         = {2001},
 title        = {Distributed Controller Synthesis for Local Specifications},
 booktitle    = {{ICALP} 2011},
 series       = {LNCS},
 volume       = {2076},
 publisher    = {Springer},
 pages        = {396--407},
 doi          = {10.1007/3-540-48224-5\_33},
)
@inproceedings(DBLP:conf/fsttcs/MohalikW03,
 author       = {Swarup Mohalik and Igor Walukiewicz},
 year         = {2003},
 title        = {Distributed Games},
 editor       = {Paritosh K. Pandya and Jaikumar Radhakrishnan},
 booktitle    = {FSTTCS 2003},
 series       = {LNCS},
 volume       = {2914},
 publisher    = {Springer},
 pages        = {338--351},
 doi          = {10.1007/978-3-540-24597-1\_29},
)
@inproceedings(Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {FOCS 1977},
 publisher    = {IEEE},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@inproceedings(conf/focs/PnueliR90,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1990},
 title        = {Distributed Reactive Systems Are Hard to Synthesize},
 booktitle    = {{FOCS} 1990},
 publisher    = {{IEEE} Computer Society},
 pages        = {746--757},
 doi          = {10.1109/FSCS.1990.89597},
)
@article(journals/ipl/Schewe14,
 author       = {Sven Schewe},
 year         = {2014},
 title        = {Distributed synthesis is simply undecidable},
 journal      = {Inf. Process. Lett.},
 volume       = {114},
 number       = {4},
 pages        = {203--207},
 doi          = {10.1016/j.ipl.2013.11.012},
)
@inproceedings(conf/lopstr/ScheweF06,
 author       = {Sven Schewe and Bernd Finkbeiner},
 year         = {2006},
 title        = {Synthesis of Asynchronous Systems},
 booktitle    = {{LOPSTR} 2006},
 series       = {LNCS},
 volume       = {4407},
 publisher    = {Springer},
 pages        = {127--142},
 doi          = {10.1007/978-3-540-71410-1\_10},
)
@article(journals/tcs/Zimmermann13,
 author       = {Martin Zimmermann},
 year         = {2013},
 title        = {Optimal bounds in parametric {LTL} games},
 journal      = {Theor. Comput. Sci.},
 volume       = {493},
 pages        = {30--45},
 doi          = {10.1016/j.tcs.2012.07.039},
)
@inproceedings(DBLP:journals/corr/Zimmermann15a,
 author       = {Martin Zimmermann},
 year         = {2015},
 title        = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than {LTL}},
 editor       = {Javier Esparza and Enrico Tronci},
 booktitle    = {GandALF 2015},
 series       = {{EPTCS}},
 volume       = {193},
 pages        = {144--157},
 doi          = {10.4204/EPTCS.193.11},
)