Samik Basu Tevfik Bultan Meriem Ouederni Synchronizability for Verification of Asynchronously Communicating Systems. 56-71 2012 VMCAI http://dx.doi.org/10.1007/978-3-642-27940-9_5 conf/vmcai/2012 db/conf/vmcai/vmcai2012.html#BasuBO12