Automatic Synthesis of Interfaces between Incompatible Protocols