@article{Gastin_2009,
    doi = {10.1007/s10703-008-0064-7},
    url = {https://doi.org/10.1007%2Fs10703-008-0064-7},
    year = {2009},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {34},
    number = {3},
    pages = {215--237},
    author = {Paul Gastin and Nathalie Sznajder and Marc Zeitoun},
    title = {Distributed synthesis for well-connected architectures},
    journal = {Formal Methods in System Design}
}

@article{Gastin_2009, doi = {10.1007/s10703-008-0064-7}, url = {https://doi.org/10.1007%2Fs10703-008-0064-7}, year = {2009}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {34}, number = {3}, pages = {215--237}, author = {Paul Gastin and Nathalie Sznajder and Marc Zeitoun}, title = {Distributed synthesis for well-connected architectures}, journal = {Formal Methods in System Design} }