Philippe Darondeau Synthesis and Control of Asynchronous and Distributed Systems. 13-22 2007 conf/acsd/2007 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.71 db/conf/acsd/acsd2007.html#Darondeau07