Nicolas Baudru Rémi Morin Polynomial Synthesis of Asynchronous Automata http://arxiv.org/abs/cs/0506096 2005 CoRR abs/cs/0506096 db/journals/corr/corr0506.html#abs-cs-0506096 informal publication