An Efficient Method for Synthesizing Optimized Protocol Converters