Recovery of communications protocol design from protocol execution traces | IEEE Conference Publication | IEEE Xplore