Synthesizing converters between finite state protocols | IEEE Conference Publication | IEEE Xplore