Synchronizability for Verification of Asynchronously Communicating Systems | Publicación