Computer Aided Design of Protocol Converters. - Hasan Ural; Huaqing Zeng (CAST, 1994)