SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors