A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. - Tao, Zhongping; Bochmann, Gregor von; Dssouli, Rachida (Mob. Networks Appl., 1997)