An EFSM-based weighting method of state transition sequence of protocol | IET Conference Publication | IEEE Xplore