Synthesis and Control of Asynchronous and Distributed Systems | IEEE Conference Publication | IEEE Xplore