Text this: Recovery of CFSM-based protocol and service design from protocol execution traces.