Nicolas Baudru Rémi Morin Unfolding Synthesis of Asynchronous Automata. 46-57 2006 conf/csr/2006 CSR http://dx.doi.org/10.1007/11753728_8 db/conf/csr/csr2006.html#BaudruM06