Nicolas Baudru Rémi Morin Synthesis of Safe Message-Passing Systems. 277-289 2007 conf/fsttcs/2007 FSTTCS http://dx.doi.org/10.1007/978-3-540-77050-3_23 db/conf/fsttcs/fsttcs2007.html#BaudruM07