Synthesizing Minimal Protocol Adaptors for Asynchronously Interacting Services | IEEE Journals & Magazine | IEEE Xplore