Protocol Transducer Synthesis using Divide and Conquer approach | IEEE Conference Publication | IEEE Xplore