A Formal Approach To The Protocol Converter Problem | IEEE Conference Publication | IEEE Xplore