@misc(I2C,
 year         = {2014},
 title        = {{I2C}-Bus Specification and User Manual},
 howpublished = {\href{https://www.nxp.com/docs/en/user-guide/UM10204.pdf}{https://www.nxp.com/docs/en/user-guide/UM10204.pdf}},
)
@misc(CAN,
 year         = {2014},
 title        = {{ISO} 11898-1:2015. {R}oad vehicles —- {C}ontroller area network (CAN) — Part 1: Data link layer and physical signalling},
 howpublished = {\href{https://www.iso.org/standard/63648.html}{{https://www.iso.org/standard/63648.html}}},
)
@inproceedings(abadi1989realizable,
 author       = {Mart{\'\i}n Abadi and Leslie Lamport and Pierre Wolper},
 year         = {1989},
 title        = {Realizable and unrealizable specifications of reactive systems},
 booktitle    = {International Colloquium on Automata, Languages, and Programming (ICALP'89)},
 organization = {Springer},
 pages        = {1--17},
 doi          = {10.1007/BFb0035748},
)
@article(afek1994reliable,
 author       = {Yehuda Afek and Hagit Attiya and Alan Fekete and Michael Fischer and Nancy Lynch and Yishay Mansour and Dai-Wei Wang and Lenore Zuck},
 year         = {1994},
 title        = {Reliable communication over unreliable channels},
 journal      = {Journal of the ACM (JACM)},
 volume       = {41},
 number       = {6},
 pages        = {1267--1297},
 doi          = {10.1145/195613.195651},
)
@article(aho1982bounds,
 author       = {Alfred V. Aho and Aaron D. Wyner and Mihalis Yannakakis and Jeffrey D. Ullman},
 year         = {1982},
 title        = {Bounds on the size and transmission rate of communications protocols},
 journal      = {Computers \& Mathematics with Applications},
 volume       = {8},
 number       = {3},
 pages        = {205--214},
 doi          = {10.1016/0898-1221(82)90043-8},
)
@inproceedings(akkoyunlu1975some,
 author       = {Eralp A. Akkoyunlu and Kattamuri Ekanadham and Richard V. Huber},
 year         = {1975},
 title        = {Some constraints and tradeoffs in the design of network communications},
 booktitle    = {5th ACM symposium on Operating Systems Principles},
 pages        = {67--74},
 doi          = {10.1145/800213.806523},
)
@article(bartlett1969note,
 author       = {Keith A. Bartlett and Roger A. Scantlebury and Peter T. Wilkinson},
 year         = {1969},
 title        = {A note on reliable full-duplex transmission over half-duplex links},
 journal      = {Communications of the ACM (CACM)},
 volume       = {12},
 number       = {5},
 pages        = {260--261},
 doi          = {10.1145/362946.362970},
)
@misc(abs-2002-07545,
 author       = {B{\'{e}}atrice B{\'{e}}rard and Benedikt Bollig and Patricia Bouyer and Matthias F{\"{u}}gger and Nathalie Sznajder},
 year         = {2020},
 title        = {Synthesis in Presence of Dynamic Links},
 note         = {HAL report hal-02917542. Available at \href{https://hal.archives-ouvertes.fr/hal-02917542}{https://hal.archives-ouvertes.fr/hal-02917542}.},
)
@article(berwanger2018hierarchical,
 author       = {Dietmar Berwanger and Anup Basil Mathew and Marie van den Bogaard},
 year         = {2018},
 title        = {Hierarchical information and the synthesis of distributed strategies},
 journal      = {Acta Informatica},
 volume       = {55},
 number       = {8},
 pages        = {669--701},
 doi          = {10.1007/s00236-017-0306-5},
)
@incollection(buchi1990solving,
 author       = {J. Richard B\"uchi and Lawrence H. Landweber},
 year         = {1990},
 title        = {Solving sequential conditions by finite-state strategies},
 booktitle    = {The Collected Works of J. Richard B{\"u}chi},
 publisher    = {Springer},
 pages        = {525--541},
 doi          = {10.1007/978-1-4613-8928-6\_29},
)
@inproceedings(CFN15:icalp,
 author       = {Charron{-}Bost, Bernadette and Matthias F{\"{u}}gger and Thomas Nowak},
 year         = {2015},
 title        = {Approximate Consensus in Highly Dynamic Networks: {T}he Role of Averaging Algorithms},
 booktitle    = {42nd International Colloquium on Automata, Languages, and Programming (ICALP'15)},
 pages        = {528--539},
 doi          = {10.1007/978-3-662-47666-6\_42},
)
@article(charron2009heard,
 author       = {Charron-Bost, Bernadette and Andr{\'e} Schiper},
 year         = {2009},
 title        = {The heard-of model: computing in distributed systems with benign faults},
 journal      = {Distributed Computing},
 volume       = {22},
 number       = {1},
 pages        = {49--71},
 doi          = {10.1007/s00446-009-0084-6},
)
@article(church1957applications,
 author       = {Alonzo Church},
 year         = {1957},
 title        = {Applications of recursive arithmetic to the problem of circuit synthesis~--~Summaries of talks},
 journal      = {Institute for Symbolic Logic, Cornell University},
)
@inproceedings(coulouma2013characterization,
 author       = {{\'E}tienne Coulouma and Emmanuel Godard},
 year         = {2013},
 title        = {A Characterization of Dynamic Networks Where Consensus is Solvable},
 booktitle    = {International Colloquium on Structural Information and Communication Complexity (SIROCCO'13)},
 organization = {Springer},
 pages        = {24--35},
 doi          = {10.1007/978-3-319-03578-9\_3},
)
@inproceedings(dimitrova2009synthesis,
 author       = {Rayna Dimitrova and Bernd Finkbeiner},
 year         = {2009},
 title        = {Synthesis of fault-tolerant distributed systems},
 booktitle    = {International Symposium on Automated Technology for Verification and Analysis (ATVA'09)},
 organization = {Springer},
 pages        = {321--336},
 doi          = {10.1007/978-3-642-04761-9\_24},
)
@book(fagin2003reasoning,
 author       = {Ronald Fagin and Yoram Moses and Joseph Y Halpern and Moshe Y. Vardi},
 year         = {2003},
 title        = {Reasoning about knowledge},
 publisher    = {MIT press},
)
@inproceedings(finkbeiner2005uniform,
 author       = {Bernd Finkbeiner and Sven Schewe},
 year         = {2005},
 title        = {Uniform distributed synthesis},
 booktitle    = {20th Annual IEEE Symposium on Logic in Computer Science (LICS'05)},
 organization = {IEEE},
 pages        = {321--330},
 doi          = {10.1109/LICS.2005.53},
)
@inproceedings(gastin2004distributed,
 author       = {Paul Gastin and Benjamin Lerman and Marc Zeitoun},
 year         = {2004},
 title        = {Distributed games with causal memory are decidable for series-parallel systems},
 booktitle    = {International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04)},
 organization = {Springer},
 pages        = {275--286},
 doi          = {10.1007/978-3-540-30538-5\_23},
)
@article(gastin2009distributed,
 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},
)
@inproceedings(GenestGMW13,
 author       = {Blaise Genest and Hugo Gimbert and Anca Muscholl and Igor Walukiewicz},
 year         = {2013},
 title        = {Asynchronous Games over Tree Architectures},
 booktitle    = {Automata, Languages, and Programming - 40th International Colloquium, {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {7966},
 publisher    = {Springer},
 pages        = {275--286},
 doi          = {10.1007/978-3-642-39212-2\_26},
)
@inproceedings(gimbert18,
 author       = {Hugo Gimbert},
 year         = {2018},
 title        = {On the Control of Asynchronous Automata},
 booktitle    = {37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'17)},
 series       = {LIPIcs},
 volume       = {93},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
 pages        = {30:1--30:15},
 doi          = {10.4230/LIPIcs.FSTTCS.2017.30},
)
@article(Klarlund94,
 author       = {Nils Klarlund},
 year         = {1994},
 title        = {Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {69},
 number       = {2-3},
 pages        = {243--268},
 doi          = {10.1016/0168-0072(94)90086-8},
)
@inproceedings(kuhn2010distributed,
 author       = {Fabian Kuhn and Nancy Lynch and Rotem Oshman},
 year         = {2010},
 title        = {Distributed computation in dynamic networks},
 booktitle    = {42nd ACM Symposium on Theory of Computing (STOC'10)},
 pages        = {513--522},
 doi          = {10.1145/1806689.1806760},
)
@article(kupferman1999church,
 author       = {Orna Kupferman and Moshe Y. Vardi},
 year         = {1999},
 title        = {Church's problem revisited},
 journal      = {Bulletin of Symbolic Logic},
 volume       = {5},
 number       = {2},
 pages        = {245--263},
 doi          = {10.2307/421091},
)
@incollection(kupferman2000synthesis,
 author       = {Orna Kupferman and Moshe Y. Vardi},
 year         = {2000},
 title        = {Synthesis with incomplete information},
 booktitle    = {Advances in Temporal Logic},
 publisher    = {Springer},
 pages        = {109--127},
 doi          = {10.1007/978-94-015-9586-5\_6},
)
@inproceedings(kupferman2001synthesizing,
 author       = {Orna Kupferman and Moshe Y. Vardi},
 year         = {2001},
 title        = {Synthesizing distributed systems},
 booktitle    = {16th Annual IEEE Symposium on Logic in Computer Science (LICS'01)},
 organization = {IEEE},
 pages        = {389--398},
 doi          = {10.1109/LICS.2001.932514},
)
@article(lamport1982byzantine,
 author       = {Leslie Lamport and Robert Shostak and Marshall Pease},
 year         = {1982},
 title        = {The Byzantine Generals Problem},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {4},
 number       = {3},
 pages        = {382--401},
 doi          = {10.1145/357172.357176},
)
@book(lynch1996distributed,
 author       = {Nancy A. Lynch},
 year         = {1996},
 title        = {Distributed algorithms},
 publisher    = {Elsevier},
)
@inproceedings(MadhusudanTY05,
 author       = {P. Madhusudan and P.S. Thiagarajan and Shaofa Yang},
 year         = {2005},
 title        = {The {MSO} theory of connectedly communicating processes},
 booktitle    = {International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05)},
 organization = {Springer},
 pages        = {201--212},
 doi          = {10.1007/11590156\_16},
)
@inproceedings(van2005synthesis,
 author       = {Van der Meyden, Ron and Thomas Wilke},
 year         = {2005},
 title        = {Synthesis of distributed systems from knowledge-based specifications},
 booktitle    = {International Conference on Concurrency Theory (CONCUR'05)},
 organization = {Springer},
 pages        = {562--576},
 doi          = {10.1007/11539452\_42},
)
@techreport(van2005synthesis:TR,
 author       = {Van der Meyden, Ron and Thomas Wilke},
 year         = {2005},
 title        = {Synthesis of distributed systems from knowledge-based specifications. UNSW-CSE-TR-0504},
 type         = {Technical Report},
 institution  = {UNSW Sydney},
)
@inproceedings(mohalik2003distributed,
 author       = {Swarup Mohalik and Igor Walukiewicz},
 year         = {2003},
 title        = {Distributed games},
 booktitle    = {International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'03)},
 organization = {Springer},
 pages        = {338--351},
 doi          = {10.1007/978-3-540-24597-1\_29},
)
@inproceedings(peterson1979multiple,
 author       = {Gary L. Peterson and John H. Reif},
 year         = {1979},
 title        = {Multiple-person alternation},
 booktitle    = {20th Annual Symposium on Foundations of Computer Science (FOCS'79)},
 organization = {IEEE},
 pages        = {348--363},
 doi          = {10.1109/SFCS.1979.25},
)
@article(pnueli1981temporal,
 author       = {Amir Pnueli},
 year         = {1981},
 title        = {The temporal semantics of concurrent programs},
 journal      = {Theoretical Computer Science},
 volume       = {13},
 number       = {1},
 pages        = {45--60},
 doi          = {10.1016/0304-3975(81)90110-9},
)
@inproceedings(pnueli1988framework,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1988},
 title        = {A framework for the synthesis of reactive modules},
 booktitle    = {International Conference on Concurrency (Concurrency 88)},
 organization = {Springer},
 pages        = {4--17},
 doi          = {10.1007/3-540-50403-6\_28},
)
@inproceedings(pnueli1989synthesis,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the synthesis of a reactive module},
 booktitle    = {16th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL'89)},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@inproceedings(pnueli1990distributed,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1990},
 title        = {Distributed reactive systems are hard to synthesize},
 booktitle    = {31st Annual Symposium on Foundations of Computer Science (FoCS'90)},
 organization = {IEEE},
 pages        = {746--757},
 doi          = {10.1109/FSCS.1990.89597},
)
@book(rabin1972automata,
 author       = {Michael O. Rabin},
 year         = {1972},
 title        = {Automata on infinite objects and Church's problem},
 volume       = {13},
 publisher    = {American Mathematical Soc.},
 doi          = {10.1090/cbms/013},
)
@inproceedings(Safra88,
 author       = {Shmuel Safra},
 year         = {1988},
 title        = {On the Complexity of $\omega$-Automata},
 booktitle    = {29th Annual Symposium on Foundations of Computer Science (FoCS'88)},
 publisher    = {{IEEE} Computer Society},
 pages        = {319--327},
 doi          = {10.1109/SFCS.1988.21948},
)
@incollection(Thomas90,
 author       = {Wolfgang Thomas},
 year         = {1990},
 title        = {Automata on Infinite Objects},
 editor       = {Jan van Leeuwen},
 booktitle    = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Semantics},
 publisher    = {Elsevier and {MIT} Press},
 pages        = {133--191},
 doi          = {10.1016/B978-0-444-88074-1.50009-3},
)
@inproceedings(thomas1995synthesis,
 author       = {Wolfgang Thomas},
 year         = {1995},
 title        = {On the synthesis of strategies in infinite games},
 booktitle    = {Annual Symposium on Theoretical Aspects of Computer Science (STACS'95)},
 organization = {Springer},
 pages        = {1--13},
 doi          = {10.1007/3-540-59042-0_57},
)
@article(VardiW94,
 author       = {Moshe Y. Vardi and Pierre Wolper},
 year         = {1994},
 title        = {Reasoning About Infinite Computations},
 journal      = {Information and Computation},
 volume       = {115},
 number       = {1},
 pages        = {1--37},
 doi          = {10.1006/inco.1994.1092},
)
@inproceedings(velner2011church,
 author       = {Yaron Velner and Alexander Rabinovich},
 year         = {2011},
 title        = {Church synthesis problem for noisy input},
 booktitle    = {International Conference on Foundations of Software Science and Computational Structures (FoSSaCS'11)},
 organization = {Springer},
 pages        = {275--289},
 doi          = {10.1007/978-3-642-19805-2_19},
)