Ron van der Meyden Thomas Wilke Synthesis of Distributed Systems from Knowledge-Based Specifications. 562-576 2005 conf/concur/2005 CONCUR http://dx.doi.org/10.1007/11539452_42 db/conf/concur/concur2005.html#MeydenW05