Mining Protocol State Machines by Interactive Grammar Inference | IEEE Conference Publication | IEEE Xplore