Synthesizing a protocol converter from executable protocol traces | IEEE Journals & Magazine | IEEE Xplore