Protocol state machine reverse method based on labeling state
HUANG Xiaoyan CHEN Xingyuan ZHU Ning TANG Huilin
Journal of Computer Applications . 2013, (12): 3486 -3489 .