Zhao Zhang, Qiao-Yan Wen, Wen Tang: Mining Protocol State Machines by Interactive Grammar Inference. ICDMA 2012: 524-527