Thomas Chatain, Paul Gastin, Nathalie Sznajder: Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. SOFSEM 2009: 141-152